[논문 리뷰] New arcs in projective Hjelmslev planes over Galois rings

Kiermaier, Michael, Axel Kohnert|arXiv (Cornell University)|2015. 03. 10.

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

한 줄 요약

이 논문은 순서가 27 이하인 적절한 갈로아 링에 대한 사영 힐름스레프 평면에서 최대 아크를 계산적으로 탐색하며, 관련 디오판틴 방정식계의 크기를 줄이기 위해 사전에 정의된 자기동형군을 사용한다. 이 방법은 새로운 비선형 4진 코드의 구축을 가능하게 하며, 특히 $[504,6,376]$ 코드는 동일한 매개변수를 가진 기존의 $\mathbb{F}_4$-선형 코드보다 더 높은 최소 거리를 가지며, 아크 크기의 하한을 크게 향상시킨다.

ABSTRACT

It is known that some good linear codes over a finite ring (R-linear codes) arise from interesting point constellations in certain projective geometries. For example, the expurgated Nordstrom-Robinson code, a nonlinear binary [14,6,6]-code which has higher minimum distance than any linear binary [14,6]-code, can be constructed from a maximal 2-arc in the projective Hjelmslev plane over Z_4.

연구 동기 및 목표

• 순서가 $\leq 27$인 적절한 갈로아 링에 대한 사영 힐름스레프 평면에서 최대 아크의 크기에 대한 하한을 향상시키는 것.
• 특히 $\mathbb{G}_{16}$와 $\mathbb{Z}_{25}$에서 이러한 평면의 아크의 그레이 상을 통해 새로운 비선형 코드를 구축하는 것.
• 군 작용과 격자점 수세기 기반의 계산 방법을 개발하고 적용하여 이러한 아크를 탐색하는 데의 가능성을 확보하는 것.
• 기존의 $\mathbb{F}_4$-선형 코드보다 더 높은 최소 거리를 가지는 비선형 코드의 존재를 탐색하는 것.
• 대칭성 감소와 디오판틴 방정식계 해결을 통한 사영 $(n,u)$-아크와 다중아크의 체계적 구축 방법을 제공하는 것.

제안 방법

• 저자들은 갈로아 링 $R$ 위의 사영 힐름스레프 평면 $\mathrm{PHG}(2,R)$의 인cidencematrices를 사용하여 아크 문제를 $0/1$-값을 가진 선형 디오판틴 부등식계로 모델링한다.
• 자기동형군을 $\mathrm{GL}(3,R)$ 내에서 사전에 정의하여 궤도상의 점과 직선을 융합함으로써 인cidencematrices의 크기를 줄여 계산에 적합한 크기로 축소한다.
• 축소된 디오판틴 방정식계는 LLL 알고리즘 기반의 격자점 수세기를 사용하여 $0/1$-해를 찾는 데 이용되며, 이는 사영 아크에 대응한다.
• 일부 아크에 대해서는, $u$-공선성 조건을 위반하지 않으면서 단일 점을 추가하여 더 큰 아크를 만들 수 있는지 확인하기 위해 확장 알고리즘을 적용한다.
• 구축된 아크에 그레이 등장사상(이sov)을 적용하여 $\mathbb{F}_4$ 위의 비선형 코드를 얻고, 최소 거리는 그리스머 경계를 통해 검증한다.
• 이 방법은 $\mathbb{Z}_{8}, \mathbb{Z}_{9}, \mathbb{G}_{16}, \mathbb{Z}_{16}, \mathbb{Z}_{25}, \mathbb{Z}_{27}$ 갈로아 링에 적용되었으며, 점과 직선 집합의 크기는 최대 1053까지 가능하다.

실험 결과

연구 질문

• RQ1 순서가 $\leq 27$인 적절한 갈로아 링 $R$ 에 대해 $\mathrm{PHG}(2,R)$ 에서 사영 $(n,u)$-아크의 최대 크기는 얼마인가?
• RQ2 자기동형을 보존하는 대칭성을 통한 아크 구축이 힐름스레프 기하학에서 최대 아크를 찾는 데 있어 계산 복잡도를 줄일 수 있는가?
• RQ3 구축된 아크의 그레이 상은 기존의 $\mathbb{F}_4$-선형 코드보다 더 높은 최소 거리를 가지는 비선형 코드를 제공하는가?
• RQ4 $\mathrm{PHG}(2,\mathbb{Z}_{25})$ 에서 알려진 가장 큰 $(n,u)$-아크는 무엇이며, 이는 기존의 알려진 사영 아크를 초월하는가?
• RQ5 궤도 융합을 통해 구축된 다중아크는 동일한 기하학에서 기존의 최고 수준의 사영 아크를 초월할 수 있는가?

주요 결과

• 저자들은 $\mathrm{PHG}(2,\mathbb{Z}_{25})$ 내의 사영 $(256,16)$-아크의 그레이 상을 통해 새로운 비선형 4진 $[504,6,376]$-코드를 구축하였으며, 이는 동일한 매개변수를 가진 기존의 $\mathbb{F}_4$-선형 $[504,6]$-코드보다 더 높은 최소 거리를 가진다.
• $[504,6,376]$ 코드는 거리 불변성을 가지며, 선형인 경우 $\mathbb{F}_4$ 위의 선형 $[128,5,94]$-코드가 존재해야 하므로, 이는 알려진 바가 없다.
• $\mathrm{PHG}(2,\mathbb{Z}_{25})$ 에서는 155개 점을 가진 $(155,8)$-다중아크를 구축하였으며, 이는 기존에 알려진 최고 수준의 사영 아크보다 7개 점 더 크다.
• 논문은 $R$ 가 $\mathbb{Z}_8, \mathbb{Z}_9, \mathbb{G}_{16}, \mathbb{Z}_{16}, \mathbb{Z}_{25}, \mathbb{Z}_{27}$ 인 $\mathrm{PHG}(2,R)$ 에서 모든 $u$-아크에 대해 최대 아크 크기의 하한을 향상시켰으며, 대부분의 항목은 별표(*)로 개선 사항을 표시하였다.
• $\mathrm{PHG}(2,\mathbb{Z}_{25})$ 에서는 $u=12$ 인 $288$개 점을 가진 $(288,12)$-아크를 발견하였으며, 이는 이 기하학에서 알려진 바 가장 큰 사영 아크이다.
• $\mathrm{PHG}(2,\mathbb{Z}_{27})$ 에서는 $\mathbf{1053}$개 점을 가진 $(1053,36)$-아크를 구축하였으며, 이는 이론적 상한에 도달하여 최대 아크임을 입증한다.