[논문 리뷰] A new upper bound for subspace codes

Daniel Heinlein, Sascha Kurz|arXiv (Cornell University)|2017. 03. 25.

Cooperative Communication and Network Coding참고 문헌 13인용 수 3

한 줄 요약

이 논문은 정수선형계획법(ILP)과 더 작은 부분공간 코드의 분류 결과를 조합하여, 패킷 길이 8, 최소 부분공간 거리 6, 차원 4인 이진 상수차원 부분공간 코드의 최대 크기에 대한 새로운 상계 272를 확립한다. 이 결과는 대칭성 감소를 위해 하위구조 탐색과 ILP 설정을 통해 이전의 상계 289를 향상시킨다.

ABSTRACT

It is shown that the maximum size $A_2(8,6;4)$ of a binary subspace code of packet length $v=8$, minimum subspace distance $d=4$, and constant dimension $k=4$ is at most $272$. In Finite Geometry terms, the maximum number of solids in $\operatorname{PG}(7,2)$, mutually intersecting in at most a point, is at most $272$. Previously, the best known upper bound $A_2(8,6;4)\le 289$ was implied by the Johnson bound and the maximum size $A_2(7,6;3)=17$ of partial plane spreads in $\operatorname{PG}(6,2)$. The result was obtained by combining the classification of subspace codes with parameters $(7,17,6;3)_2$ and $(7,34,5;\{3,4\})_2$ with integer linear programming techniques. The classification of $(7,33,5;\{3,4\})_2$ subspace codes is obtained as a byproduct.

연구 동기 및 목표

• 매개수 (8, N, 6; 4)₂를 갖는 이진 상수차원 부분공간 코드의 최대 크기 상계를 향상시키기 위해.
• 더 작은 코드의 구조적 제약 조건을 활용하여 A₂(8,6;4)의 알려진 하한과 상한 사이의 격차를 줄이기 위해.
• 분류 결과에서 유도된 하위구조를 고정함으로써 대칭성을 활용하는 ILP 기반 프레임워크를 개발하고 적용하기 위해.
• 분석의 부산물로, PG(7,2)에서 (7,33,5;{3,4})₂ 부분공간 코드를 동형을 제외하고 완전히 분류하기 위해.
• 다른 접근 방식을 통한 상계 검증과 상수차원 코드 상계 향상을 위한 기초를 마련하기 위해.

제안 방법

• ILP 설정에서 (7,17,6;3)₂ 및 (7,16,6;4)₂ 부분공간 코드의 분류 결과를 고정된 하위구조로 활용하였다.
• 정수선형계획법(ILP)을 적용하여 PG(7,2) 내에서 부분공간 거리 제약 조건을 만족하는 4차원 부분공간의 최대 수를 계산하였다.
• 대칭성 감소와 ILP 해법 향상을 위해 초평면에 (7,17,6;3)₂ 코드와 (7,16,6;4)₂ 코드의 존재를 고정하였다.
• 4차원 부분공간에 대한 이진 변수를 정의하고, 1차원 및 7차원 부분공간과의 인cidenc에 대한 제약 조건을 설정하였다.
• 인cidenc 제약 조건을 적용: 1차원 및 7차원 부분공간에 대해 ∑x_U ≤ 17, 2차원 및 6차원 부분공간에 대해 ∑x_U ≤ 1, 그리고 사영점에 대한 전역 합 제약 조건.
• 기존 하위코드를 고정함으로써 자동화군 감소 기법을 적용하여 대칭성을 감소시키고, 효율적인 ILP 해법을 가능하게 하였다.

실험 결과

연구 질문

• RQ1 A₂(8,6;4)에 대한 상계는 존슨 상한 값 289를 초월하여 향상시킬 수 있는가?
• RQ2 PG(7,2) 내에서 두 부분공간이 최대 한 점에서만 만날 수 있는 4차원 부분공간의 최대 수는 얼마인가?
• RQ3 대칭성이 높을 경우 정수선형계획법 기법이 부분공간 코드에 효과적으로 적용될 수 있는가?
• RQ4 어떤 구조적 하위코드를 사용하여 대칭성을 감소시키고 큰 부분공간 코드 문제에서의 ILP 계산 가능성을 높일 수 있는가?
• RQ5 (7,33,5;{3,4})₂ 부분공간 코드는 존재하는가? 만약 존재한다면, 동형을 제외하고는 몇 개인가?

주요 결과

• 매개수 (8, N, 6; 4)₂를 갖는 이진 상수차원 부분공간 코드의 최대 크기는 최대 272이며, 이는 이전 상계 289를 향상시킨 결과이다.
• 이 상계는 (7,17,6;3)₂ 및 (7,16,6;4)₂ 코드의 분류 결과를 ILP 설정의 대칭성 감소 기법과 조합하여 달성되었다.
• ILP 설정은 총 563개의 경우에서 성공적으로 해석되었으며, 각 경우에서 z(F₃, F₄) ≤ 272를 도출하여 상계를 확인하였다.
• 분석의 부산물로, (7,33,5;{3,4})₂ 부분공간 코드를 동형을 제외하고 완전히 분류하였다.
• 결과는 PG(7,2) 내에서 상호 간에 최대 한 점에서만 만날 수 있는 고체의 최대 수가 272개 이하임을 시사한다.
• 이러한 방법은 하위구조 고정을 통한 대칭성 감소가 큰 부분공간 코드 문제에 대한 효과적인 ILP 적용을 가능하게 한다는 것을 보여준다.