When isometry and equivalence for skew constacyclic codes coincide

이 논문은 가환 기저 환 $S$ 위의 **선형 왜곡 상수 순환 코드 (linear skew constacyclic codes)**에 대한 **등거리성 (isometry)**과 **동치성 (equivalence)**의 개념이 언제 일치하는지를 규명합니다. 저자들은 Ou-azzou 등 (2025) 이 제안한 $(n, \sigma)$-등거리성과 $(n, \sigma)$-동치성 개념이 대부분의 비결합적 (nonassociative) 환경에서 실제로 일치함을 증명하고, 이를 통해 기존 연구의 오류를 수정하고 더 정밀한 코드 분류 체계를 제시합니다.

다음은 논문의 기술적 요약입니다.

1. 연구 배경 및 문제 제기

• 왜곡 상수 순환 코드 (Skew Constacyclic Codes):
  • $S$를 가환 단위원 환, $\sigma \in \text{Aut}(S)$를 자기동형사상, $a \in S^\times$를 가역원이라 할 때, 부호어 $(c_0, \dots, c_{n-1})$가 $C$에 속하면 $(\sigma(c_{n-1})a, \sigma(c_0), \dots, \sigma(c_{n-2}))$도 $C$에 속하는 선형 부호를 의미합니다.
  • 이러한 코드는 Petit ring이라 불리는 비결합적 단위원 환 $S_f = S[t; \sigma]/S[t; \sigma](f(t))$ (여기서 $f(t)=t^n-a$) 의 주 왼쪽 아이디얼과 일대일 대응됩니다.
• 기존 연구의 문제점:
  • Ou-azzou 등 [OaNA25] 은 $(n, \sigma)$-동치성 (단항식 동형사상 $G_{\text{id}, \alpha}$에 의한) 과 $(n, \sigma)$-등거리성 (단항식 동형사상 $G_{\text{id}, \alpha, k}$에 의한, 여기서 $k \ge 1$) 을 정의했습니다.
  • 그들은 이 두 개념이 항상 동등하다고 주장했으나, 이는 고차 (degree $k > 1$) 단항식 동형사상이 비결합적 Petit ring 에서도 존재할 것이라고 잘못 가정했기 때문입니다.
• 핵심 질문:
  • Petit ring $S_{t^n-a}$와 $S_{t^n-b}$ 사이의 해밍 무게 (Hamming weight) 를 보존하는 동형사상이 존재할 때, 이것이 반드시 1 차 단항식 동형사상 ($k=1$) 인가? 즉, 등거리성과 동치성은 언제 일치하는가?

2. 방법론

저자들은 다음과 같은 수학적 도구를 사용하여 문제를 해결했습니다:

1. Petit Ring 의 구조 분석:
   • $S[t; \sigma]/S[t; \sigma](t^n-a)$에서 곱셈은 일반적으로 결합법칙을 만족하지 않습니다.
   • 특히 $t$의 거듭제곱이 잘 정의되기 위한 조건 (power-associativity) 을 분석했습니다.
2. 단항식 동형사상의 조건 도출:
   • $G(t) = \alpha t^k$ 형태의 동형사상이 존재하기 위한 필요충분조건을 유도했습니다.
   • Lemma 3.2 및 Theorem 3.3: $\alpha t^k$가 power-associative 가 되기 위한 조건은 $\alpha b = \sigma^n(\alpha)\sigma^k(b)$이며, 이는 $S_{t^n-b}$가 결합적 (associative) 인 경우와 비결합적인 경우를 구분하는 핵심이 됩니다.
3. 비결합성 조건 활용:
   • Petit ring 이 proper nonassociative(진짜 비결합적) 인 경우, 즉 $\sigma(a) \neq a$이거나 $m \nmid n$ ($m$은 $\sigma$의 위수) 인 경우를 집중적으로 분석했습니다.
   • 이 조건 하에서는 고차 ($k > 1$) 단항식 동형사상이 존재할 수 없음을 증명했습니다.
4. 다항식 동형사상의 배제:
   • $S$가 정역 (integral domain) 일 때, 단항식이 아닌 다항식 형태의 동형사상은 존재하지 않음을 증명하여 (Theorem 6.1), 해밍 무게를 보존하는 모든 동형사상이 단항식임을 보였습니다.

3. 주요 결과 및 기여

A. 등거리성과 동치성의 일치 (Theorem 4.4, Corollary 4.5)

• 주요 정리: Petit ring $S_{t^n-a}$가 proper nonassociative일 때 (즉, $m \nmid n$이거나 $a \notin S_0$), 두 ring 사이의 모든 해밍 무게 보존 동형사상은 반드시 **1 차 단항식 동형사상 ($k=1$)**입니다.
• 의미: 비결합적인 환경에서는 $(n, \sigma)$-등거리성과 $(n, \sigma)$-동치성이 완전히 일치합니다. 따라서 Ou-azzou 등의 주장과 달리 고차 동형사상을 고려할 필요가 없습니다.

B. 기존 연구의 오류 수정 및 반례 제시 (Section 5.2)

• Ou-azzou 등의 [OaNA25, Theorem 4] 는 "두 ring 이 $(n, \sigma)$-등거리적일 필요충분조건은 특정 군 생성자가 일치하는 것"이라고 주장했으나, 이는 고차 동형사상의 존재를 잘못 가정하여 유도된 것입니다.
• 저자들은 $m \nmid n$인 경우 고차 동형사상이 존재하지 않음을 보임으로써 해당 정리의 반례를 제시하고, 기존 분류 결과의 오류를 지적했습니다.

C. 새로운 동치성 정의 및 분류 (Definition 5.1, Theorem 5.9)

• 새로운 정의: Petit ring 사이의 모든 해밍 무게 보존 동형사상을 포괄하는 isometry와 equivalence를 정의했습니다.
  • Isometry: $G_{\tau, \alpha, k}$ 형태의 동형사상이 존재할 때.
  • Equivalence: $G_{\tau, \alpha}$ (1 차) 형태의 동형사상이 존재할 때.
• 비결합적 경우: 위 두 개념이 일치하므로, 기존 $(n, \sigma)$-isometry 분류가 실제로는 더 세분화되지 않음을 보였습니다.
• 분류 수 계산 (Theorem 5.9): 유한체 $K=\mathbb{F}_{p^r}$ 위의 비결합적 Petit ring 에서의 $(n, \sigma)$-isometry 클래스의 수를 정확히 계산했습니다.
  • $m \nmid n$인 경우: $\gcd([n]_s, p^r-1)$개.
  • $m \mid n$인 경우 (비결합적 부분): $\left(1 - \frac{1}{[m]_s}\right)\gcd([n]_s, p^r-1)$개.
  • 이는 기존 연구의 잘못된 계산 결과를 수정한 것입니다.

D. 결합적 (Associative) 인 경우의 결과 (Theorem 5.12)

• $m \mid n$이고 $a, b \in S_0$인 경우 (ring 이 결합적임), 고차 단항식 동형사상 ($k>1$) 이 존재할 수 있습니다.
• 이 경우, $S_{t^n-a}$와 $S_{t^n-b}$가 $k$차 동형사상으로 등거리적일 필요충분조건은 $S_{t^n-a}$와 $S_{t^n-b^k}$가 1 차 동형사상 (동치) 으로 연결되는 것과 동치임을 보였습니다.

4. 의의 및 결론

1. 이론적 정립: 비결합적 Petit ring 에서의 동형사상 구조를 완전히 규명하여, 왜곡 상수 순환 코드의 대수적 분류에 대한 엄밀한 기초를 마련했습니다.
2. 코드 분류의 정밀화: 기존 연구에서 불필요하게 세분화되었거나 잘못 분류되었던 코드 클래스들을 재정의하고, 실제 해밍 거리와 부호율을 보존하는 동형사상만을 고려하여 더 tight 한 (정밀한) 분류 체계를 제시했습니다.
3. 응용 가능성:
   • 이 결과는 유한체 및 가환 환 위의 왜곡 다항 순환 코드 (skew polycyclic codes) 의 중복 제거 (de-duplication) 에 직접적으로 적용됩니다.
   • 또한, 최대 순위 거리 (MRD) 코드 및 학습 오류 (Learning with Errors, LWE) 기반의 양자 내성 암호학에 사용되는 Petit division algebra 의 분류에도 중요한 영향을 미칩니다.
4. 향후 연구: 비결합적 ring 사이의 비단항식 (non-monomial) 동형사상의 부재에 대한 가설 (Conjecture 6.6) 을 제시하며, 이를 증명하기 위한 추가 연구의 방향을 제시했습니다.

요약하자면, 이 논문은 비결합적 환경에서는 고차 동형사상이 존재하지 않으므로 등거리성과 동치성이 일치한다는 강력한 결과를 도출함으로써, 왜곡 상수 순환 코드의 분류 이론을 재정립하고 기존 오류를 바로잡는 중요한 기여를 했습니다.