[논문 리뷰] An enumeration of certain projective ternary two-weight codes and their relationship to the cubic Segre variety

Michael Martis, John Bamberg외 1명|arXiv (Cornell University)|2014. 06. 26.

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

한 줄 요약

이 논문은 PG(5,3)에서 순서 7의 콘일레어션에 대해 불변인 길이 56, 차원 6인 모든 사영적 3진 두 가중치 코드를 열거하여, 사영적 동치를 고려할 때 총 6,635개의 이러한 코드를 규명한다. 이 작업은 입체 세그레 다양체와의 연결을 확립하고, 매개수 (729, 364, 181, 182)를 가진 새로운 강한 정규 그래프를 드러내며, 힐의 56캡 및 길리버의 예제와 같은 기존 구성들을 확장한다.

ABSTRACT

We detail the enumeration of all two-intersection sets of the five-dimensional projective space over the field of order 3 that are invariant under an element of order 7, which include the examples of Hill (1973) and Gulliver (1996). Up to projective equivalence, there are 6635 such two-intersection sets.

연구 동기 및 목표

• PG(5,3) 내에서 순서 7의 콘일레어션에 대해 불변인 모든 두 교집합 집합을 체계적으로 열거하는 것.
• F₃ 위에서 길이 56, 차원 6인 사영적 두 가중치 선형 코드를 사영적 동치를 기준으로 분류하는 것.
• 이러한 코드, 입체 세그레 다양체, 그리고 강한 정규 그래프 사이의 기하학적 및 대수적 연결 고리 탐색.
• 대칭 감소를 통해 새로운 구조를 식별함으로써 기존 예제들, 예를 들어 힐의 56캡 및 길리버의 코드를 확장하는 것.

제안 방법

• PG(5,3) 내에서 두 교집합 집합을 찾기 위해 선형 프로그래밍 기법을 활용하였으며, 순서 7의 원소에 대해 불변인 집합에 초점을 맞췄다.
• q=3일 때 q²−q+1 = 7임을 이용하여 대칭을 제거하고, 집합들을 입체 세그레 다양체와 연결하였다.
• 두 교집합 집합의 점들로부터 생성 행렬을 구성하여 사영성과 두 가중치 성질을 보장하였다.
• 델사르트의 대응을 적용하여 두 교집합 집합을 두 가중치 코드로 변환하고, 그 다음으로 강한 정규 그래프로 변환하였다.
• 사영적 동치를 고려한 모든 이러한 코드를 확인하고 분류하기 위해 계산 기반 시설을 통해 철저한 계산을 수행하였다.
• 특정 예시들(별표가 붙은 안정자 포함)을 식별하고 검증하기 위해 기존의 'SU2' 및 'CY2' 방법을 활용하였다.

실험 결과

연구 질문

• RQ1 F₃ 위에서 길이 56, 차원 6인 사영적 두 가중치 코드 중 순서 7의 콘일레어션에 대해 불변인 것은 사영적 동치를 고려할 때 총 몇 개인가?
• RQ2 이러한 두 교집합 집합과 PG(5,3) 내 입체 세그레 다양체 사이의 정확한 관계는 무엇인가?
• RQ3 히르의 56캡 또는 길리버의 코드와 같은 기존 예시들은 이 대칭적 두 교집합 집합의 가족에 포함되는가?
• RQ4 이러한 코드들로부터 유도되는 새로운 강한 정규 그래프는 무엇이며, 그 매개수는 무엇인가?
• RQ5 이러한 코드들의 안정자 구조는 아모르픽 연관 체계 또는 기타 조합 설계와의 연결 고리를 드러내는가?

주요 결과

• PG(5,3) 내에서 순서 7의 콘일레어션에 대해 불변인 두 교집합 집합은 사영적 동치를 고려할 때 정확히 6,635개 존재한다.
• 이 구성은 매개수 (729, 364, 181, 182)를 가진 21개의 강한 정규 그래프를 생성하며, 안정자 순서 14, 42, 168, 21, 546**, 1092**를 가진 예시들이 포함되어 있다.
• 안정자 순서 20160인 예시는 힐캡 안정자의 도출된 부분군에서 유래하며, 매개수 (182, 6, 56, 65)를 가진 두 교집합 집합을 유도한다.
• 21개의 그래프 중 5개는 'SU2' 구성에 의해 부분 스프레드와 연결되며, 2개는 'CY2' 구성에 의해 유도되며, 이는 이중 별표로 표시되어 있다.
• 이 코드들은 가중치 36과 45를 가지며, 두 교집합 집합의 점들로부터 구성된 생성 행렬의 쌍대에 해당한다.
• 입체 세그레 다양체는 특히 q ≡ 1 mod 3일 때, 이러한 대칭적 두 교집합 집합을 분류하는 자연스러운 기하학적 프레임워크로 기능한다.