[논문 리뷰] Optimal Scalar Linear Codes for Some Classes of The Two-Sender Groupcast Index Coding Problem

A Chinmayananda, B. Sundar Rajan|arXiv (Cornell University)|2018. 04. 11.

Cooperative Communication and Network Coding참고 문헌 24인용 수 4

한 줄 요약

이 논문은 두 발신자 그룹캐스트 인덱스 코딩 문제(TGICP)의 특정 클래스에 대해, 세 개의 상호 간섭이 없는 단일 발신자 하위 문제들로부터의 최적 코딩을 활용하여 최적의 스칼라 선형 코딩을 구성하는 방법을 제안한다. 공동 확장(joint extensions)의 개념을 도입하여 다수의 단일 발신자 그룹캐스트 인덱스 코딩 문제(SGICPs)를 통합하고, 하위 문제의 코딩으로부터 최적 코딩을 구성할 수 있는 클래스를 규명하며, 최적성에 대한 필요 조건을 제시함으로써, 식별된 경우 최소의 집합 코드 길이를 달성한다.

ABSTRACT

The two-sender groupcast index coding problem (TGICP) consists of a set of receivers, where all the messages demanded by the set of receivers are distributed among the two senders. The senders can possibly have a set of messages in common. Each message can be demanded by more than one receiver. Each receiver has a subset of messages (known as its side information) and demands a message it does not have. The objective is to design scalar linear codes at the senders with the minimum aggregate code length such that all the receivers are able to decode their demands, by leveraging the knowledge of the side information of all the receivers. In this work, optimal scalar linear codes of three sub-problems (considered as single-sender groupcast index coding problems (SGICPs)) of the TGICP are used to construct optimal scalar linear codes for some classes of the TGICP. We introduce the notion of joint extensions of a finite number of SGICPs, which generalizes the notion of extensions of a single SGICP introduced in a prior work. An SGICP $\mathcal{I}_E$ is said to be a joint extension of a finite number of SGICPs if all the SGICPs are disjoint sub-problems of $\mathcal{I}_E$. We identify a class of joint extensions, where optimal scalar linear codes of the joint extensions can be constructed using those of the sub-problems. We then construct scalar linear codes for some classes of the TGICP, when one or more sub-problems of the TGICP belong to the above identified class of joint extensions, and provide some necessary conditions for the optimality of the construction.

연구 동기 및 목표

• 메시지가 두 발신자에 분산되어 있고 수신자가 임의의 사이드 인포메이션과 요구사항을 가진 두 발신자 그룹캐스트 인덱스 코딩 문제(TGICP)를 다루기 위해.
• TGICP의 하위 문제들 간의 구조적 관계를 활용하여 집합 코드 길이를 줄이기 위해.
• 서로소 단일 발신자 하위 문제들로부터의 최적 코딩을 이용하여 최적의 스칼라 선형 코딩을 구성하는 프레임워크를 개발하기 위해.
• 최적 코딩의 구성이 유지되는 다수의 SGICPs의 공동 확장 클래스를 도입하고 특성화하기 위해.
• 특정 TGICP 클래스에서 구성된 코딩의 최적성에 대한 필요 조건을 수립하기 위해.

제안 방법

• TGICP는 상호 간섭이 없는 세 개의 단일 발신자 그룹캐스트 인덱스 코딩 문제(SGICPs)로 분해되며, 각 문제 간에 공유 메시지가 없다.
• 공동 확장의 개념을 도입하여, 서로 다른 다수의 SGICPs를 하나의 문제로 통합함으로써 각 문제들이 하위 문제로 유지되도록 한다.
• 하위 문제들의 최적 코딩으로부터 최적 스칼라 선형 코딩을 구성할 수 있는 공동 확장의 클래스를 규명한다.
• 코딩 구성은 피팅 행렬(fitting matrices)과 유한체 상의 랭크 최소화에 기반하며, 최적 코딩 길이는 하위 문제들의 피팅 행렬 최소 랭크의 합으로 결정된다.
• 매트릭스 완성 기법을 사용하며, 공동 확장의 복합 피팅 행렬에 대한 구체적인 구성 방법을 제공하여, 하위 문제의 완성 행렬의 행공간이 전체 해에 그대로 유지되도록 보장한다.
• 하위 문제의 피팅 행렬과 공동 확장의 랭크 관계에 기반하여 최적성에 대한 필요 조건을 유도한다.

실험 결과

연구 질문

• RQ1 특정 클래스의 두 발신자 그룹캐스트 인덱스 코딩 문제에 대해, 그의 단일 발신자 하위 문제들로부터의 최적 코딩을 이용하여 최적의 스칼라 선형 코딩을 구성할 수 있는가?
• RQ2 하위 문제들 간의 어떤 구조적 조건이 공동 문제의 최적 코딩이 개별 하위 문제의 최적 코딩으로부터 유도될 수 있도록 보장하는가?
• RQ3 다수의 SGICPs의 공동 확장을 어떻게 정의하여 코딩 구성에서 최적성이 유지되도록 할 수 있는가?
• RQ4 공동 확장의 맥락에서 구성된 코딩이 최적일 수 있는 필요 조건은 무엇인가?
• RQ5 공동 문제의 집합 코드 길이가 개별 하위 문제들의 코드 길이의 합과 일치하는 조건은 무엇인가?

주요 결과

• 서로소 세 개의 SGICPs로 구성된 공동 확장인 TGICP의 특정 클래스에 대해, 최적 스칼라 선형 코딩 길이는 하위 문제들의 피팅 행렬 최소 랭크의 합으로 주어진다.
• 특정 예제에 대해 $\mathbb{F}_2$에서 최적 코딩을 구성하였으며, 총 코드 길이가 5로 이론적 하한선과 정확히 일치한다.
• 랭크 계층 구조 $r_1 \geq r_{\{1,2\}} \geq r_2$가 성립할 때 구성이 유효하며, 문제의 상호작용 디그래프는 $\mathcal{H}_{62}$이다.
• 공동 확장 프레임워크는 하위 문제들의 최적 완성 행렬을 결합하여 공동 피팅 행렬의 전역적으로 최적의 완성으로 조합할 수 있도록 보장한다.
• 최적성에 대한 필요 조건은 복합 피팅 행렬의 행공간이 공동 완성의 첫 번째 $r_{\{1,2\}}$ 행에 의해 생성되어야 하며, 이는 하위 문제의 구조를 유지함을 의미한다.
• 이 방법은 이전의 단일 발신자 인덱스 코딩 결과를 일반화하여, 공유 메시지 분포가 있는 두 발신자 그룹캐스트 환경으로 확장한다.