[논문 리뷰] Superregular matrices over small finite fields

Paulo Almeida, Diego Napp|arXiv (Cornell University)|2020. 08. 01.

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

한 줄 요약

이 논문은 소수의 유한체에서 하삼각 토플리츠 슈퍼정규 행렬을 조사하며, 서로 다른 비자명한 행렬식의 수를 최소화하는 구성법을 제안한다. Maple을 사용한 계산적 탐색과 근사 알고리즘을 통해 소수 체에서 차수 10 이하의 이러한 행렬을 구성하였으며, F_173 및 F_257와 같은 체에서 γ = 8, 9, 10에 대해 존재함을 보여주고, 일반적인 γ에 대한 체 크기와 행렬식 수에 대한 추측을 제기한다.

ABSTRACT

A trivially zero minor of a matrix is a minor having all its terms in the Leibniz formula equal to zero. A matrix is superregular if all of its minors that are not trivially zero are nonzero. In the area of Coding Theory, superregular matrices over finite fields are connected with codes with optimum distance proprieties. When a superregular matrix has all its entries nonzero, it is called full superregular and these matrices are used to construct Maximum Distance Separable block codes. In the context of convolutional codes, lower triangular Toeplitz superregular matrices are employed to build convolutional codes with optimal column distance. Although full superregular matrices over small fields are known (e.g. Cauchy matrices), the few known general constructions of these matrices having a lower triangular Toeplitz structure require very large field sizes. In this work we investigate lower triangular Toeplitz superregular matrices over small finite prime fields. Following the work of Hutchinson, Smarandache and Trumpf, we study the minimum number of different nontrivial minors that such a matrix have, and exhibit concrete constructions of superregular matrices of this kind.

연구 동기 및 목표

• 소수의 유한체에서 하삼각 토플리츠 슈퍼정규 행렬의 존재성과 구성법을 조사하는 것.
• 이러한 행렬이 가질 수 있는 서로 다른 비자명한 행렬식의 최소 수를 결정하는 것.
• 소수 체에서 γ = 8 및 γ = 9에 대해 슈퍼정규 행렬의 명시적 구성법을 제공하는 것.
• 계산적 탐색과 무작위 샘플링을 통해 γ = 10에 대한 이러한 행렬의 구성 가능성 탐색하는 것.
• 일반적인 γ에 대해 체 크기 요구 조건과 행렬식 다양성에 대한 추측을 제안하는 것.

제안 방법

• 벡터 (a₁, a₂, ..., aγ−1)로 정의된 일정한 대각선을 가진 하삼각 토플리츠 행렬 Aγ를 구성하는 것.
• 소수 체에서 슈퍼정규 행렬을 생성하는 계수 벡터를 찾기 위해 Maple에서 근사 알고리즘을 사용하는 것.
• 이전의 재귀 조건에 기반해 각 단계에서 aᵢ ∉ Sᵢ인 제약 조건을 적용하여 자명한 행렬식을 피하는 것.
• γ = 8, 9, 10에 대해 소수 체 F_p에서 전수 또는 무작위 탐색을 수행하여 유효한 계수 벡터를 찾는 것.
• 행렬의 모든 행렬식을 계산하고, 모든 비자명한 행렬식이 0이 아님을 확인하여 슈퍼정규성을 검증하는 것.
• 서로 다른 비자명한 행렬식의 수와 그 분포를 다양한 체 크기에서 분석하는 것.

실험 결과

연구 질문

• RQ1 유한 소수 체에서 하삼각 토플리츠 슈퍼정규 행렬의 차수 γ가 주어졌을 때, 서로 다른 비자명한 행렬식의 최소 수는 얼마인가?
• RQ2 어떤 소수 체 F_p에서 하삼각 토플리츠 슈퍼정규 행렬의 차수 γ = 10이 존재하는가?
• RQ3 소수 체에서 차수 γ = 8 및 γ = 9의 슈퍼정규 행렬을 명시적으로 구성할 수 있는가?
• RQ4 주어진 γ에 대해 이러한 슈퍼정규 행렬의 존재를 보장하기 위해 필요한 체 크기는 얼마인가?
• RQ5 γ와 p에 대한 함수로서 서로 다른 행렬식 수에 일반적인 패턴이나 경계가 존재하는가?

주요 결과

• 저자들은 소수 체 F_173 및 F_193에서 차수 8 및 9의 하삼각 토플리츠 슈퍼정규 행렬을 성공적으로 구성하였다.
• γ = 10에 대해 F_173, F_193, F_199, F_227, F_229, F_239, F_251 및 F_257에서 슈퍼정규 행렬을 발견하였으며, 체 크기가 클수록 성공 빈도가 증가하는 경향을 보였다.
• F_257에서 γ = 10 행렬의 서로 다른 비자명한 행렬식 수는 가능한 257개 중 256개에 달하여 거의 최대 수준의 다양성을 나타냈다.
• 이 연구는 F_p에서 p ≥ 173일 때 차수 10의 슈퍼정규 행렬이 존재하며, p가 증가할수록 성공률이 증가함을 확인하였다.
• 저자들은 임의의 γ ≥ 2 및 홀수 소수 p에 대해, (a₁, ..., aγ−1)의 벡터가 존재하여 서로 다른 행렬식 수가 최대 Nγ/2 + 2 이하가 되도록 할 수 있다고 추측한다.
• 또한 γ ≥ 2일 때, 임의의 유한체 F에서 |F| ≥ 2^(2γ/3)이면 하삼각 토플리츠 슈퍼정규 행렬이 존재한다고 추가로 추측한다.