[논문 리뷰] Designs and codes in affine geometry

Jens Zumbrägel|arXiv (Cornell University)|2016. 05. 12.

Cooperative Communication and Network Coding인용 수 1

한 줄 요약

이 논문은 사영 기하학 대신 애핀 기하학을 사용하여 조합 설계의 q-해석의 새로운 프레임워크로 애핀 설계와 애핀 코드를 소개한다. 이는 사영 q-해석 접근법을 확장하며, F_q 상에서 S(2,3,7)와 같은 애핀 스테이너 체계의 존재를 입증하고, 애핀 다항식을 사용한 메트릭 기반 코드 구축을 제안하며, 일부 경우에서 사영 대응체보다 향상된 매개변수를 제공하는 애핀 기하학에서의 소규모 교차 코드가 무작위 네트워크 코딩에서 삭제를 수정할 수 있음을 보여준다.

ABSTRACT

Classical designs and their (projective) q-analogs can both be viewed as designs in matroids, using the matroid of all subsets of a set and the matroid of linearly independent subsets of a vector space, respectively. Another natural matroid is given by the point sets in general position of an affine space, leading to the concept of an affine design. Accordingly, a t-(n, k, $\lambda$) affine design of order q is a collection B of (k-1)-dimensional spaces in the affine geometry A = AG(n-1, q) such that each (t-1)-dimensional space in A is contained in exactly $\lambda$ spaces of B. In the case $\lambda$ = 1, as usual, one also refers to an affine Steiner system S(t, k, n). In this work we examine the relationship between the affine and the projective q-analogs of designs. The existence of affine Steiner systems with various parameters is shown, including the affine q-analog S(2, 3, 7) of the Fano plane. Moreover, we consider various distances in matroids and geometries, and we discuss the application of codes in affine geometry for error-control in a random network coding scenario.

연구 동기 및 목표

• 조합 설계의 q-해석을 사영 기하학 대신 애핀 기하학을 사용하여 새로운 프레임워크로 개발한다.
• 스테이너 체계, 특히 팔로 평면의 애핀 q-해석인 S(2,3,7)의 존재를 입증한다.
• 무작변 네트워크 코딩에서 오류 제어를 위한 애핀 기하학의 메트릭 구조와 코드 구축 방식을 조사한다.
• 애핀 코드의 성능과 매개변수를 사영 대응체와 비교한다. 특히 크기와 삭제 수정 능력 측면에서 비교한다.

제안 방법

• 모든 (t−1)-플랫이 정확히 λ개의 (k−1)-플랫에 포함되는 AG(n−1,q) 내 (k−1)-플랫의 집합으로서 애핀 설계를 형식화한다.
• 모든 같은 랭크의 플랫이 동일한 크기를 가지는 매트로이드 이론—특히 완벽한 매트로이드 설계—을 사용하여 사영 및 애핀 설계 프레임워크를 통합한다.
• F_q 선형 부분공간 U ⊆ F_q^m 상에서 애핀 다항식 g ∈ Lt (도수 < q^{t−2})의 그래프를 사용한 코드 구축을 제안한다.
• 애인 기하학의 플랫에 대해 d(E,F) = r(E) + r(F) − 2r(E ∩ F) 라는 메트릭을 정의하고, 이가 삭제 수정을 지원함을 보여준다.
• [14]의 공격적 삭제 수정 프레임워크를 적용하여 소규모 교차 코드의 삭제 수정 능력을 e = k − t 로 유도한다.
• 구축된 코드 C가 q^{mt}개의 원소를 가지며, 서로 다른 X,Y ∈ C에 대해 r(X ∩ Y) < t 를 만족하는 부분 S(t,k,n) 스테이너 체계를 이룬다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 애핀 q-해석의 스테이너 체계는 존재할 수 있으며, 만약 존재한다면 어떤 매개변수에 대해 존재하는가?
• RQ2 네트워크 코딩의 맥락에서 애인 기하학의 메트릭 및 코드 이론적 성질은 사영 기하학과 비교하여 어떻게 다른가?
• RQ3 애인 기하학에서의 소규모 교차 코드는 삭제를 수정할 수 있으며, 그 최대 삭제 수정 능력은 무엇인가?
• RQ4 다항식 그래프를 통한 애인 코드의 크기와 구조는 무엇이며, 사영 부분공간 코드와 비교해보면 어떠한가?
• RQ5 오차 제어를 지원하는 애인 기하학으로의 부분공간 거리 메트릭의 자연스러운 일반화가 존재하는가?

주요 결과

• 팔로 평면의 애인 q-해석인 S(2,3,7)는 존재하며, 이는 새로운 비자명한 애인 스테이너 체계의 예를 제공한다.
• 애인 다항식의 그래프를 통한 소규모 교차 코드의 구축은 AG(n−1,q) 내에서 크기가 q^{mt}인 코드를 유도하며, 이때 n = ℓ + m + 1 이고 k = ℓ + 1 이다.
• t=3, m=ℓ=3, q=2 인 경우, 이 구축은 AG(6,2) 내에서 512개의 코드워드를 가진 부분 S(3,4,7) 스테이너 체계를 유도하며, 유사한 매개변수를 가진 기존의 최고 성능 사영 부분공간 코드를 초월한다.
• 동일한 구축은 64개의 코드워드를 가진 부분 S(2,4,7) 스테이너 체계를 유도하며, Proposition 4.5에 의해 72개의 코드워드를 가진 완전한 S(2,4,7) 스테이너 체계도 존재한다.
• 코드는 최대 e = k − t개의 삭제를 수정할 수 있으며, 이는 삭제에 강건한 네트워크 코딩에서 실용적 유용성을 보여준다.
• 애인 메트릭 d(E,F) = r(E) + r(F) − 2r(E ∩ F) 는 삼각 부등식을 만족하지 않지만, ∆-이질성 프레임워크를 통해 여전히 삭제 수정이 가능하다.