[논문 리뷰] Automorphisms of Codes in the Grassmann Scheme

Tuvi Etzion, Alexander Vardy|arXiv (Cornell University)|2012. 10. 21.

Coding theory and cryptography참고 문헌 2인용 수 8

한 줄 요약

이 논문은 유한체 위의 그라스만니안에서 자동형사군을 구성하기 위해 프로베누스 사상과 순환 이동을 사용하는 새로운 방법을 제안한다. 이는 PG(5,3)에서 새로운 선의 평행성과 거의 스테이너 구조인 큰 코드를 발견하는 데 기여한다. 접근법은 원분군과 그래프 기반 클리크 탐색을 활용하여 상호배타적인 부분공간을 식별하며, 최소 거리가 4인 매개변수 (n=7, k=3, q=2)에 대해 알려진 바 가장 큰 코드를 도출한다.

ABSTRACT

Two mappings in a finite field, the Frobenius mapping and the cyclic shift mapping, are applied on lines in PG($n,p$) or codes in the Grassmannian, to form automorphisms groups in the Grassmanian and in its codes. These automorphisms are examined on two classical coding problems in the Grassmannian. The first is the existence of a parallelism with lines in the related projective geometry and the second is the existence of a Steiner structure. A computer search was applied to find parallelisms and codes. A new parallelism of lines in PG(5,3) was formed. A parallelism with these parameters was not known before. A large code which is only slightly short of a Steiner structure was formed.

연구 동기 및 목표

• 유한체 위의 그라스만니안과 코ordinative 기하학에서 비자명한 스테이너 구조와 평행성을 구성하는 데 오랫동안 미해결된 문제를 해결하기 위해.
• 그라스만니안의 코드를 위한 자동형사군을 생성하기 위해 프로베누스 사상과 순환 이동을 사용하는 체계적인 방법을 개발하기 위해.
• 스테이너 구조 S₂[2,3,13]과 새로운 매개변수에 대해 PG(n,p)에서 평행성을 구성할 수 있는지 탐색하기 위해.
• 원분군과 그래프 클리크를 기반으로 한 계산 프레임워크를 제공하여 상호배타적이고 코스터 완비 부분공간을 탐색하기 위해.
• 자기형사군을 통합하여 부분공간의 구조와 거리 성질을 유지하는 기존 구성법을 확장하기 위해.

제안 방법

• 프로베누스 사상 𝛺ₗ(x) = x^{p^ℓ} 과 순환 이동 Φⱼ(αⁱ) = α^{i+j} 가 그라스만니안의 부분공간에 적용되어 자동형사군을 생성한다.
• 원분군은 프로베누스에 의해 생성된 곱셈 궤도에 따라 체 원소를 군집화하여 부분공간 차이의 효율적 표현을 가능하게 한다.
• 각 3차원 부분공간 X에 대해 코스터 차집합 C(Δ(X)) 가 정의되어 그 구조를 식별하고 상호배타성을 보장한다.
• 정점 V는 코스터 군의 7원소 부분집합을 나타내고, 간선 E는 상호배타적이고 코스터 완비 부분공간을 연결하는 그래프 G(V,E) 가 구성된다.
• 이 그래프의 클리크는 상호배타적이고 코스터 완비인 3차원 부분공간의 집합을 나타내며, 크기가 15인 클리크는 스테이너 구조 S₂[2,3,13]에 대응한다.
• n=13에 대해 컴퓨터 검색을 수행하여 큰 클리크를 찾았으며, 14클리크는 성공적으로 식별되었다.

실험 결과

연구 질문

• RQ1 프로베누스 및 순환 이동 자동형사군을 사용하여 새로운 매개변수에 대해 PG(n,p)의 선 평행성을 구성할 수 있는가?
• RQ2 제안된 방법이 n ≡ 1 (mod 6) 인 경우, 특히 n=13일 때 비자명한 스테이너 구조 S₂[2,3,n]를 제공하는가?
• RQ3 프로베누스 및 순환 이동에 의해 생성된 자동형사군이 그라스만니안에서 부분공간을 체계적으로 구성하는 데 사용될 수 있는가?
• RQ4 G₂(7,3)에서 최소 거리가 4인 코드의 최대 크기는 얼마이며, 이 방법을 통해 향상시킬 수 있는가?
• RQ5 일정한 수론적 조건이 n과 p에 대해 만족될 경우, PG(n,p)에서 일반적인 평행성 구성법이 존재하는가?

주요 결과

• 이전에 존재하지 않았던 것으로 알려져 있던 PG(5,3)에서 새로운 선의 평행성이 성공적으로 구성되었다.
• n=13일 때, G₂(13,3)에서 1,490,762개의 3차원 부분공간을 포함하는 코드가 발견되었으며, 이는 이전까지 알려진 최고 성능 코드인 1,221,296개를 초월한다.
• 구성된 코드는 최소 거리가 4이며, 매개변수에 대해 알려진 바 가장 큰 코드이며, 순환 이동과 프로베누스 사상에 의해 생성된 자동형사군을 갖는다.
• n=13에 대해 그래프에서 크기가 14인 클리크가 발견되어, 상호배타적이고 코스터 완비인 3차원 부분공간의 큰 집합을 나타낸다.
• 15클리크(스테이너 구조 S₂[2,3,13]에 대응)를 찾는 것은 여전히 계산적으로 불가능하지만, 프레임워크는 확립되었다.
• 이 방법은 그라스만니안에서 새로운 무한가지 평행성과 비자명한 스테이너 구조를 구성하는 데 실질적인 기반을 제공한다.