[논문 리뷰] A family of ovoids in PG(3, 2^m) from cyclic codes

Cunsheng Ding|arXiv (Cornell University)|2018. 02. 10.

Coding theory and cryptography참고 문헌 6인용 수 4

한 줄 요약

이 논문은 GF(2^m) 위의 비가역 순환 코드를 사용하여 PG(3, 2^m)에서 새로운 종류의 타원형을 구성하며, 이 코드들이 매개수 [q²+1, 4, q²−q]를 가지며 타원형 코드의 무게 분포와 일치함을 증명한다. 주요 기여는 타원형 또는 티츠 타원형과 동치가 아닌 짝수 특성에서의 새로운 무한한 종류의 타원형을 제공함으로써, 유한 사영 공간 내 타원형의 알려진 분류를 확장하는 것이다.

ABSTRACT

Ovoids in $\PG(3, q)$ have been an interesting topic in coding theory, combinatorics, and finite geometry for a long time. So far only two families are known. The first is the elliptic quadratics and the second is the Tits ovoids. In this article, we present a family of ovoids in $\PG(3, 2^m)$ for all $m$ which are from a family of irreducible cyclic codes.

연구 동기 및 목표

• 알제브라적 부호 이론을 사용하여 PG(3, 2^m)에서 새로운 종류의 타원형을 구성하는 것.
• GF(2^m) 위의 비가역 순환 부호와 사영 기하학 내 타원형 간의 관계를 설정하는 것.
• 일부 순환 부호의 생성 행렬의 열 벡터가 PG(3, 2^m)에서 타원형을 이룬다는 것을 증명하는 것.
• 이 새로운 타원형이 타원형 과립 또는 티츠 타원형과 같은 알려진 가족들과 동치인지 조사하는 것.
• 이 타원형에서 유도된 부호의 설계 이론적 성질을 탐구하는 것.

제안 방법

• 논문은 GF(q) 위의 비가역 순환 부호 C(r,N)의 가족을 정의하며, 여기서 q = 2^s, r = q^4, N = q^2−1이다.
• β ∈ GF(r)에 대해 (Tr_{r/q}(β), Tr_{r/q}(βθ), ..., Tr_{r/q}(βθ^{n−1})) 형태의 부호어를 Tr_{r/q} 함수를 사용하여 구성한다. 여기서 θ = α^N이며, α는 GF(r)의 원시 원소이다.
• 무게 분포는 가우스 주기와 특성 합을 사용하여 계산되며, 특히 Tr_{r/q}(a x^N) = 0인 해의 수를 분석한다.
• 순환 클래스와 멀티세트 등식에 관한 보조정리 4를 적용하여 지수 합의 영점 개수를 계산하고, 이는 부호어의 해밍 무게를 결정한다.
• 증명은 부호가 정확히 두 개의 비영 무게 q²−q와 q²만을 가지며, 이는 특정 다중도를 가지며, 이는 부호가 타원형 부호임을 확인한다.
• Pless의 힘의 모멘트와 쌍대성 이론적 결과를 사용하여 무게 생성함수를 검증하고, 부호가 [q²+1, 4, q²−q] 부호임을 확인한다.

실험 결과

연구 질문

• RQ1 GF(2^m) 위의 비가역 순환 부호에서 PG(3, 2^m)에서 새로운 종류의 타원형을 구성할 수 있는가?
• RQ2 매개수 [q²+1, 4, q²−q]를 가진 순환 부호 C(r,N)에서 유도된 타원형은 알려진 타원형 과립 또는 티츠 타원형과 동치인가?
• RQ3 이 타원형에서 유도된 부호들이 알려진 타원형 기반 설계와 매개수가 일치하는 3-설계를 생성하는가?
• RQ4 유도된 순환 부호의 쌍대 부호의 무게 분포는 무엇인가?
• RQ5 부호 내 무게 q²−q를 가진 부호어의 지지 집합이 타원형 과립 또는 티츠 타원형에서 유도된 것과 동치인가?

주요 결과

• q = 2^s, r = q^4, N = q^2−1일 때 GF(q) 위의 부호 C(r,N)는 매개수 [q²+1, 4, q²−q]를 가지며, 무게 생성함수는 1 + (q²−q)(q²+1)z^{q²−q} + (q−1)(q²+1)z^{q²}이다.
• C(r,N)의 생성 행렬의 열 벡터는 PG(3, 2^m)에서 타원형을 이룬다. 이는 서로 다른 q²+1개의 점이며, 세 점이 일직선상에 있지 않기 때문이다.
• C(r,N)의 쌍대 부호는 [q²+1, q²−3, 4] 부호이며, 이는 거의-MDS이자 그리스머 경계를 충족함을 확인한다.
• C(r,N)에서 무게 q²−q를 가진 부호어의 지지 집합은 3-(q²+1, q²−q, (q−2)(q²−q−1)) 설계를 이룬다.
• 이 설계의 여집합은 3-(q²+1, q+1, 1) 스테이너 시스템, 즉 인버시브 평면이다.
• 쌍대 부호에서 무게 4를 가진 부호어의 지지 집합은 3-(q²+1, 4, q−2) 설계를 이룬다. 이는 부호가 3-설계를 포함하고 있음을 확인한다.