[논문 리뷰] Structural Characteristics of Two-Sender Index Coding

Chandra Thapa, Lawrence Ong외 2명|arXiv (Cornell University)|2017. 11. 22.

Cooperative Communication and Network Coding참고 문헌 33인용 수 9

한 줄 요약

이 논문은 메시지가 두 발신자 간에 분포되는 두 발신자 유니캐스트 인덱스 코딩(TSUIC) 문제를 발신자 간 메시지 분포 기반으로 세 개의 독립된 부분문제로 분해함으로써 구조적 프레임워크를 제안한다. 최적의 브로드캐스트 비율이 이러한 부분문제들의 최적 비율의 합과 같음을 증명하며, 새로운 두 발신자 그래프 색칠 기법과 혼동 그래프를 사용하고, 일부 사이드인포메이션 구조는 최적성에 영향을 주지 않게 제거될 수 있음을 입증함으로써 단일 발신자 결과를 다수의 발신자로 확장한다.

ABSTRACT

This paper studies index coding with two senders. In this setup, source messages are distributed among the senders possibly with common messages. In addition, there are multiple receivers, with each receiver having some messages a priori, known as side-information, and requesting one unique message such that each message is requested by only one receiver. Index coding in this setup is called two-sender unicast index coding (TSUIC). The main goal is to find the shortest aggregate normalized codelength, which is expressed as the optimal broadcast rate. In this work, firstly, for a given TSUIC problem, we form three independent sub-problems each consisting of the only subset of the messages, based on whether the messages are available only in one of the senders or in both senders. Then we express the optimal broadcast rate of the TSUIC problem as a function of the optimal broadcast rates of those independent sub-problems. In this way, we discover the structural characteristics of TSUIC. For the proofs of our results, we utilize confusion graphs and coding techniques used in single-sender index coding. To adapt the confusion graph technique in TSUIC, we introduce a new graph-coloring approach that is different from the normal graph coloring, which we call two-sender graph coloring, and propose a way of grouping the vertices to analyze the number of colors used. We further determine a class of TSUIC instances where a certain type of side-information can be removed without affecting their optimal broadcast rates. Finally, we generalize the results of a class of TSUIC problems to multiple senders.

연구 동기 및 목표

• 메시지가 두 발신자 간에 분포되고 각 수신자가 고유한 메시지를 요청하며 사이드인포메이션을 가진 두 발신자 유니캐스트 인덱스 코딩(TSUIC)의 구조적 특성을 분석하는 것.
• 메시지 소유권 기반으로 TSUIC 문제를 세 개의 독립된 부분문제로 분해하는 것: 한 발신자에만 소속된 메시지, 다른 발신자에만 소속된 메시지, 양 발신자 간에 공유된 메시지.
• 이러한 부분문제들의 최적 비율에 대한 함수로서 전체 TSUIC 문제의 최적 브로드캐스트 비율을 유도하는 것.
• 혼동 그래프 기법을 다발신자 환경에 적응시키기 위해 새로운 두 발신자 그래프 색칠 기법을 도입하는 것.
• 최적 브로드캐스트 비율에 영향을 주지 않게 제거할 수 있는 TSUIC 인스턴스의 특정 클래스를 식별하는 것.

제안 방법

• 저자는 TSUIC 문제를 세 부분문제로 분해한다: 발신자 1에만 있는 메시지, 발신자 2에만 있는 메시지, 두 발신자 간에 공유된 메시지.
• 다발신자 인덱스 코딩을 위해 특별히 설계된 새로운 그래프 색칠 방법—두 발신자 그래프 색칠—을 도입하며, 기존의 표준 그래프 색칠과 다름.
• 수신자의 디코딩 모호성을 모델링하기 위해 혼동 그래프를 활용하고, 각 발신자의 메시지 집합에서 유래한 부분라벨 기반으로 정점들을 군집화함으로써 이들을 두 발신자 환경에 적응시킴.
• 혼동 그래프에서 적절한 색칠을 위해 필요한 최소한의 색상 튜플 수는, 블록 색칠과 대칭성에 관한 보조정리들을 통해 유도된 최적의 브로드캐스트 비율과 대응한다.
• 전체 문제의 최적 브로드캐스트 비율이 세 부분문제의 최적 비율의 합과 같음을, 구조적 대칭성과 재귀적 색칠 추론을 통해 증명한다.
• 분해 및 색칠 기법을 N명의 발신자 시나리오로 확장함으로써 이 프레임워크를 다발신자로 일반화한다.

실험 결과

연구 질문

• RQ1 두 발신자 유니캐스트 인덱스 코딩 문제의 최적 브로드캐스트 비율은 메시지 소유권 기반의 독립된 부분문제들에 대해 어떻게 표현될 수 있는가?
• RQ2 혼동 그래프 기법을 단일 발신자에서 두 발신자 인덱스 코딩으로 확장하기 위해 필요한 새로운 그래프 색칠 기법은 무엇인가?
• RQ3 TSUIC에서 어떤 사이드인포메이션 구조는 최적 브로드캐스트 비율에 영향을 주지 않게 제거될 수 있는가?
• RQ4 문제의 구조적 분해는 최적 브로드캐스트 비율을 계산하는 데 모듈러한 접근을 어떻게 가능하게 하는가?
• RQ5 두 발신자에 대한 결과는 다발신자 인덱스 코딩 문제로 일반화될 수 있는가?

주요 결과

• TSUIC 문제의 최적 브로드캐스트 비율은 세 개의 독립된 부분문제의 최적 브로드캐스트 비율의 합과 같다: 발신자 1에만 소속된 메시지, 발신자 2에만 소속된 메시지, 두 발신자 간에 공유된 메시지.
• 각 발신자의 메시지 집합에서 유래한 부분라벨 기반으로 정점을 군집화하는 새로운 두 발신자 그래프 색칠 기법이 도입되었으며, 이는 다발신자 환경에서 혼동 그래프의 적절한 색칠을 가능하게 한다.
• TSUIC에서 혼동 그래프를 칠하기 위해 필요한 최소한의 N′-튜플 색상 수는 각 부분문제의 크로마틱 수의 곱과 같다: χ(Γt(D1)) × χ(Γt(D2)) × ... × χ(Γt(DN′)).
• 일부 TSUIC 문제의 클래스에서는, 구조적 대칭성과 색칠 불변성에 의해 입증되듯이, 최적 브로드캐스트 비율에 영향을 주지 않게 부과된 사이드인포메이션을 제거할 수 있다.
• 프레임워크는 N-발신자 다발신자 유니캐스트 인덱스 코딩(MSUIC)로 일반화되며, 최적 브로드캐스트 비율은 부분문제 비율의 합으로 표현되며, 작은 오차 항 ε/t를 포함한다. 여기서 ε ∈ {−N′, −N′+1, ..., 0}이다.
• 결과는 블록 기반 색칠 구성으로 증명되었으며, 이는 블록 간 대칭성을 유지함으로써 다양한 부분라벨 간에 일관된 색칠을 보장하고, 유도된 비율 표현의 최적성 확인에 기여한다.