1. 연구 배경 및 문제 정의

• 배경: 이중 토플리츠 코드는 이중 순환 코드 (Double circulant codes) 의 일반화로, 최근 등거리 (isodual) 또는 형식적 자기 쌍대 (formally self-dual) 인 코드를 구성하기 위해 도입되었습니다.
• 문제 정의:
  • $d_{q,DT}(n)$: 유한체 $F_q$ 상의 모든 이중 토플리츠 $[n, n/2]$ 코드 중 가장 큰 최소 거리를 의미합니다.
  • 주어진 $(q, n)$ 쌍에 대해 $d_{q,DT}(n)$의 값을 결정하는 것은 근본적인 문제입니다.
  • 기존 연구 [20] 에서 $d_{q,DT}(n)$의 값이 일부 길이와 $q$에 대해 결정되었으나, 평균 무게 분포를 통한 존재성 증명과 더 넓은 범위의 최적 코드 분류가 필요했습니다.
• 목표:
  1. 이중 토플리츠 코드의 **평균 무게 분포 (Average Weight Enumerator)**에 대한 명시적 식을 유도한다.
  2. 이를 응용하여 특정 최소 거리를 갖는 코드의 존재성을 판별한다.
  3. $q \in \{2, 3, 4\}$이고 길이가 적당할 때, **DT-최적 (DT-optimal)**인 이중 토플리츠 코드를 분류한다.

2. 방법론

2.1 평균 무게 분포의 이론적 유도 (Theorem 3.3)

• 핵심 아이디어: 모든 이중 토플리츠 코드 집합 $\Omega_{q,n}$을 직접 나열하지 않고, 특정 벡터 $(u, v)$를 포함하는 코드의 개수를 계산하는 접근법을 사용합니다.
• 보조 정리 (Lemma 3.2): 임의의 벡터 $u, v \in F_q^{n/2}$에 대해, 벡터 $(u, v)$를 포함하는 서로 다른 이중 토플리츠 코드의 개수 $|\Omega_{(u,v)}^{q,n}|$를 $u$와 $v$의 무게 (weight) 조건에 따라 정확히 계산했습니다.
  • $wt(u) \neq 0$인 경우: $q^{n/2-1}$개
  • $wt(u) = 0, wt(v) = 0$인 경우:$q^{n-1}$개
  • $wt(u) = 0, wt(v) \neq 0$인 경우: 0 개
• 결과 (Theorem 3.3): 위 보조 정리를 바탕으로 평균 무게 분포 $\Psi_{q,n}(y)$에 대한 명시적인 다항식 식을 유도했습니다. 이는 자기 쌍대 코드의 경우와 유사한 방식으로 작동합니다.

2.2 존재성 판별 (Proposition 3.4)

• 유도된 평균 무게 분포 $\Psi_{q,n}(y)$를 사용하여, 특정 최소 거리 $d$를 갖는 코드가 존재하는지 판별하는 기준을 제시했습니다.
• 만약 무게가 $1$부터$d-1$까지인 코드의 평균 개수가 전체 코드 집합 크기의$(q-1)$배보다 작다면, 최소 거리가 적어도$d$인 코드가 반드시 존재함을 증명했습니다.

2.3 컴퓨터 탐색 및 분류

• 도구: Magma 컴퓨터 대수 시스템을 사용하여 $q \in \{2, 3, 4\}$에 대한 수치 계산을 수행했습니다.
• 동치성 감소 (Reduction): 분류 과정에서 불필요한 중복을 제거하기 위해 동치 변환 (equivalence) 을 고려한 축소 전략을 적용했습니다.
  • 이진 (Binary) 경우: $DT(t, a, b) \cong DT(t, b, a)$ 성질을 이용해 $(t, a) \ge (t, b)$인 경우만 탐색.
  • 3 진 및 4 진 (Ternary/Quaternary) 경우: 스칼라 곱에 의한 동치성을 이용해 첫 번째 0 이 아닌 성분을 1 로 고정.

3. 주요 결과

3.1 최소 거리에 따른 코드 존재 범위 (Section 4)

평균 무게 분포와 컴퓨터 탐색을 결합하여 $d \le 10$에 대해 최소 거리 $d$를 갖는 이중 토플리츠 코드가 존재하는 최소 길이 $n_q(d)$를 결정했습니다.

• 이진 (Binary, $q=2$):
  • $d=5$: $n \ge 16$
  • $d=6$: $n \ge 18$
  • $d=7$: $n \ge 22$
  • $d=8$: $n=24$ 또는 $n \ge 28$ (26 은 부재)
  • $d=9$: $n \ge 40$
  • $d=10$: $n \ge 42$
• 3 진 (Ternary, $q=3$):
  • $d=5$: $n \ge 10$
  • $d=6$: $n \ge 12$
  • $d=7$: $n \ge 20$
  • $d=8$: $n \ge 22$
  • $d=9$: $n=24$ 또는 $n \ge 28$
  • $d=10$: $n \ge 32$
• 4 진 (Quaternary, $q=4$):
  • $d=5$: $n \ge 10$
  • $d=6$: $n \ge 14$
  • $d=7$: $n \ge 18$
  • $d=8$: $n \ge 20$
  • $d=9$: $n \ge 24$
  • $d=10$: $n \ge 28$ (단, $n \le 24$에서는 부재)

3.2 DT-최적 코드 분류 (Section 5)

각 길이 $n$에 대해 가능한 최대 최소 거리 $d_{q,DT}(n)$를 갖는 코드를 분류하고, 이중 순환 코드 (DC) 나 이중 부호 순환 코드 (DN) 와 동치가 아닌 코드를 확인했습니다.

• 이진 코드 ($q=2$, 길이 40 까지):
  • $n=12, 14, 26, 32, 34, 36, 38, 40$ 등에서 DT-최적 이중 토플리츠 코드가 존재하며, 그 중 상당수는 이중 순환/부호 순환 코드와 동치가 아닙니다.
  • 예: $n=14$에서 75 개의 비동치 DT-최적 코드가 발견됨 (이중 순환 코드는 4 개).
• 3 진 코드 ($q=3$, 길이 26 까지):
  • $n=28$에서 기존 문헌 [20] 의 오류 (최소 거리 8 로 보고됨) 를 수정하여 최소 거리 9임을 확인했습니다.
  • $n=18$에서 156,189 개의 비동치 DT-최적 코드가 발견됨 (이중 순환 57 개, 부호 순환 0 개).
• 4 진 코드 ($q=4$, 길이 20 까지, 16 제외):
  • $n=16, 18, 22$에서 DT-최적 코드가 존재하지 않음을 확인하고, $d_{4,DT}(n)$의 값을 정확히 결정했습니다.
  • $n=20$에서 DT-최적 코드가 존재하지 않음을 확인했습니다.

3.3 구체적인 구성 (Explicit Constructions)

• 논문의 표 (Table 3~11) 에 다양한 길이와 최소 거리를 갖는 DT-최적 코드의 생성 행렬 파라미터 $(t, a, b)$ 또는 순환 행렬의 첫 번째 행 $r$을 상세히 나열했습니다.
• 특히, $n=14$ (이진), $n=20$ (3 진), $n=8, 10$ (4 진) 등의 구체적인 코드 구성을 제시했습니다.

4. 의의 및 결론

1. 이론적 기여: 이중 토플리츠 코드의 평균 무게 분포에 대한 **명시적인 공식 (Theorem 3.3)**을 최초로 유도하여, 특정 최소 거리를 갖는 코드의 존재성을 체계적으로 증명할 수 있는 기반을 마련했습니다.
2. 최적성 증명: $q \in \{2, 3, 4\}$에 대해 다양한 길이에서 DT-최적 코드의 존재성을 확인하고, 그 중 많은 수가 기존에 알려진 이중 순환 코드나 이중 부호 순환 코드와 동치가 아님을 증명했습니다. 이는 새로운 구조의 고품질 코드가 존재함을 시사합니다.
3. 오류 수정 및 데이터 정립: 기존 연구 [20] 에서 $n=28$인 3 진 코드의 최소 거리에 대해 잘못 보고된 값을 수정하고, $n=16, 18, 22$인 4 진 코드에 대한 최적 최소 거리를 정확히 결정했습니다.
4. 데이터베이스 제공: 발견된 모든 비동치 DT-최적 코드와 관련 코드의 생성 행렬 정보를 공개 웹사이트에 제공하여 후속 연구를 지원했습니다.

결론적으로, 본 논문은 이중 토플리츠 코드의 이론적 성질을 심화시키고, 구체적인 최적 코드를 분류함으로써 부호 이론 (Coding Theory) 분야에서 중요한 기여를 했습니다. 특히 평균 무게 분포를 활용한 존재성 증명과 대규모 컴퓨터 탐색을 통한 분류는 해당 분야의 표준적인 방법론으로 자리 잡을 것으로 기대됩니다.