[논문 리뷰] Optimal Linear Broadcast Rates of the Two-Sender Unicast Index Coding Problem with Fully-Participated Interactions

Chinmayananda Arunachala, Vaneet Aggarwal외 1명|arXiv (Cornell University)|2018. 08. 29.

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

한 줄 요약

이 논문은 모든 송신자가 공동으로 모든 메시지를 보유하고 수신자가 부가 정보를 가진 상황에서, 두 송신자가 참여하는 완전한 상호작용 조건 하에서 두 송신자 유니캐스트 인덱스 코딩 문제에 대해 최적의 선형 브로드캐스트 비율과 명시적인 코드 구성법을 제시한다. 최적 비율은 세 개의 관련된 단일 송신자 하위 문제의 최적 비율에서 유도되며, 이는 부분적으로 참여하는 상호작용 사례에 대한 날카로운 하한을 제공하고, 다중 송신자 인덱스 코딩 시스템에 대한 확장 가능한 솔루션을 가능하게 한다.

ABSTRACT

The two-sender unicast index coding problem consists of finding optimal coded transmissions from the two senders which collectively know the messages demanded by all the receivers. Each receiver demands a unique message. One important class of this problem consists of the message sets at the senders and the side-information at the receivers satisfying \emph{fully-participated interactions}. This paper provides optimal linear broadcast rates and corresponding code constructions for all the possible cases of the two-sender unicast index coding problem with fully-participated interactions. The optimal linear broadcast rate and the corresponding code for the two-sender problem are given in terms of those of the three single-sender unicast problems associated with the two-sender problem. Optimal linear broadcast rates of two-sender problems with fully-participated interactions provide lower bounds for the optimal linear broadcast rates of many related two-sender problems with \emph{partially-participated interactions}. Proof techniques used to obtain the results for the two-sender problem are shown to be useful in obtaining the results for some cases of the multi-sender unicast index coding problem.

연구 동기 및 목표

• 완전히 참여하는 상호작용 조건 하에서 두 송신자 유니캐스트 인덱스 코딩 문제(TUICP)의 모든 경우에 대해 최적의 선형 브로드캐스트 비율과 해당 코드를 결정하는 것.
• 두 송신자 문제의 최적 비율을 세 개의 구성 요소인 단일 송신자 유니캐스트 인덱스 코딩 문제의 최적 비율로 표현하는 것.
• 부분적으로 참여하는 상호작용을 가진 관련된 두 송신자 문제에 대해 최적 선형 브로드캐스트 비율에 대한 날카로운 하한을 제공하는 것.
• 정확한 최적성 확보가 어려운 경우에 하위최적이지만 구조적인 솔루션을 얻을 수 있도록 증명 기법을 다중 송신자 인덱스 코딩 문제로 확장하는 것.
• 두 송신자 TUICP 문제를 해결하는 복잡성을 단순한 단일 송신자 문제로 환원하는 프레임워크를 구축하는 것.

제안 방법

• 문제는 측면 정보 디그래프의 세 개의 정점 유도 부분다이그래프로 분해되며, 각각 송신자 1, 송신자 2, 그리고 둘 다가 소유한 메시지 집합에 해당한다.
• 두 송신자 문제의 최적 선형 브로드캐스트 비율은 개별 부분다이그래프의 최적 비율의 최댓값의 합으로 계산된다: $\beta^{l}_{t}(\mathcal{D},\mathcal{P}) = \max\{\beta^{l}_{t}(\mathcal{D}_1), \beta^{l}_{t}(\mathcal{D}_{\{1,2\}})\} + \max\{\beta^{l}_{t}(\mathcal{D}_2), \beta^{l}_{t}(\mathcal{D}_{\{1,2\}})\} + \beta^{l}_{t}(\mathcal{D}_{\{1,3\}}) + \beta^{l}_{t}(\mathcal{D}_{\{2,3\}}) + \beta^{l}_{t}(\mathcal{D}_{\{1,2,3\}})$.
• 각 세 개의 단일 송신자 하위 문제에서의 최적 선형 코드를 조합하여 코드 구성을 수행하며, 이는 수신자가 자신의 부가 정보를 이용해 복호화 가능함을 보장한다.
• 상호작용 디그래프를 사용하여 메시지 가용성과 부가 정보 구조에 따라 문제를 분류하며, 모든 메시지 상호작용이 완전히 공유되는 경우를 완전히 참여하는 상호작용으로 정의한다.
• 하위 문제 분해에 기반한 증명 기법을 다중 송신자 환경으로 확장하여, 정확한 최적성이 확보되지 않는 경우에도 하위최적이지만 구조적인 솔루션을 제공한다.
• 완전히 참여하는 경우의 최적 선형 비율이 동일한 하위문제 구조를 가진 부분적으로 참여하는 변형에 대한 하한이 된다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 모든 상호작용이 완전히 참여하는 조건에서 두 송신자 유니캐스트 인덱스 코딩 문제의 최적 선형 브로드캐스트 비율은 무엇인가?
• RQ2 두 송신자 문제의 최적 비율은 세 개의 단일 송신자 하위 문제의 최적 비율로 어떻게 표현할 수 있는가?
• RQ3 완전히 참여하는 상호작용에 사용된 증명 기법을 부분적으로 참여하는 상호작용 사례로 일반화하여 하한 또는 솔루션을 도출할 수 있는가?
• RQ4 완전히 참여하는 상호작용 조건 하에서 두 송신자 TUICP의 최적 선형 코드는 어떤 구조를 가지는가?
• RQ5 완전히 참여하는 상호작용의 결과는 더 일반적인 두 송신자 TUICP 인스턴스에 대해 어떤 하한을 제공하는가?

주요 결과

• 완전히 참여하는 상호작용 조건 하에서 두 송신자 유니캐스트 인덱스 코딩 문제의 최적 선형 브로드캐스트 비율은 세 개의 단일 송신자 하위 문제의 최대 비율의 합으로 주어지며, 이는 식 $\beta^{l}_{t}(\mathcal{D},\mathcal{P}) = \max\{\beta^{l}_{t}(\mathcal{D}_1), \beta^{l}_{t}(\mathcal{D}_{\{1,2\}})\} + \max\{\beta^{l}_{t}(\mathcal{D}_2), \beta^{l}_{t}(\mathcal{D}_{\{1,2\}})\} + \beta^{l}_{t}(\mathcal{D}_{\{1,3\}}) + \beta^{l}_{t}(\mathcal{D}_{\{2,3\}}) + \beta^{l}_{t}(\mathcal{D}_{\{1,2,3\}})$ 로 명시적으로 기술된다.
• 10개의 메시지와 완전히 참여하는 상호작용을 가진 예시에서는 최적 선형 브로드캐스트 비율이 $\beta^{l}_{t}(\mathcal{D},\mathcal{P}) = 5$이며, $\beta^{l}_{t}(\mathcal{D}_{\{1,2\}}) = 2$이고 나머지는 모두 1이다.
• 최적 선형 코드는 세 개의 단일 송신자 하위 문제의 최적 코드를 조합하여 구성되며, 예를 들어 $\mathcal{C}_{\{1,2\}} = ({\bf{x}}_4, {\bf{x}}_8)$ 와 $\mathcal{C}_{\{2,3\}} = {\bf{x}}_5 \oplus {\bf{x}}_6$ 와 같이 표현된다.
• 이 결과는 동일한 하위문제 구조를 공유하는 부분적으로 참여하는 상호작용을 가진 두 송신자 문제에 대해 최적 선형 브로드캐스트 비율에 대한 비트리버스 하한을 제공한다.
• 증명 기법은 다중 송신자 환경으로 확장 가능하여, 정확한 최적성이 어려운 경우에도 하위최적 솔루션을 도출할 수 있는 프레임워크를 제공한다.
• 이 프레임워크는 두 송신자 TUICP 문제를 해결하는 복잡성을 세 개의 단일 송신자 유니캐스트 인덱스 코딩 문제로 환원하여 분석 및 코드 설계의 복잡성을 크게 단순화한다.