[논문 리뷰] Capacity of Some Index Coding Problems with Symmetric Neighboring Interference

Mahesh Babu Vaddi, B. Sundar Rajan|arXiv (Cornell University)|2017. 05. 15.

Cooperative Communication and Network Coding참고 문헌 6인용 수 5

한 줄 요약

이 논문은 유한한 K개의 메시지, 목적 메시지 이후 D개의 간섭 메시지, 그리고 목적 메시지 이전에 U = gcd(K, D+1) - 1개의 간섭 메시지를 가진 대칭적 인접 간섭 단일 유니캐스트 인덱스 코딩 문제(SNI-SUICP)의 용량을 유도한다. 저자들은 임의의 유한체에서 최적의 선형 인덱스 코딩을 생성하기 위해 K×(D+1) 크기의 인접 행 독립(Adjacent Row Independent, AIR) 행렬을 구성적으로 이용하여, 메시지 기준으로 1/(D+1)의 이론적 용량에 도달한다.

ABSTRACT

A single unicast index coding problem (SUICP) with symmetric neighboring interference (SNI) has equal number of $K$ messages and $K$ receivers, the $k$th receiver $R_{k}$ wanting the $k$th message $x_{k}$ and having the side-information $\mathcal{K}_{k}=(\mathcal{I}_{k} \cup x_{k})^c,$ where ${I}_k= \{x_{k-U},\dots,x_{k-2},x_{k-1}\}\cup\{x_{k+1}, x_{k+2},\dots,x_{k+D}\}$ is the interference with $D$ messages after and $U$ messages before its desired message. Maleki, Cadambe and Jafar obtained the capacity of this symmetric neighboring interference single unicast index coding problem (SNI-SUICP) with $(K)$ tending to infinity and Blasiak, Kleinberg and Lubetzky for the special case of $(D=U=1)$ with $K$ being finite. In this work, for any finite $K$ and arbitrary $D$ we obtain the capacity for the case $U=gcd(K,D+1)-1.$ Our proof is constructive, i.e., we give an explicit construction of a linear index code achieving the capacity.

연구 동기 및 목표

• 유한한 K에 대해 대칭적 인접 간섭 단일 유니캐스트 인덱스 코딩 문제(SNI-SUICP)의 정확한 용량을 결정함으로써, 이전 연구에서만 점점 커지는 경우나 특수 케이스에 대해서만 성립했던 결과를 확장한다.
• U = gcd(K, D+1) - 1일 때, SNI-SUICP의 용량에 대한 이해 격차를 메우기 위해 광범위한 매개변수에 대해 구성적인 해법을 제공한다.
• 크기 K×(D+1)의 인접 행 독립(AIR) 행렬이 임의의 유한체에서 최적의 선형 인덱스 코딩을 생성하는 데 사용될 수 있음을 보여준다.
• Maleki 등(점점 커지는 용량)과 Blasiak 등(특수 케이스 D=U=1)의 이전 결과를 하나의 일반적 프레임워크로 통합하고 확장한다.

제안 방법

• 저자들은 K개의 메시지와 K개의 수신기로 구성된 SNI-SUICP를 정의하며, 각 수신기 R_k는 x_k를 원하고, 목적 메시지와 그 이후 D개 메시지, 그리고 그 이전 U개 메시지를 제외한 측면 정보를 가진다.
• 그들은 크기 K×(D+1)의 인접 행 독립(AIR) 행렬의 구조를 도입하고 활용하며, 이는 모든 수신기의 복호화 제약 조건을 만족시키도록 설계된 코딩 전송을 보장한다.
• 증명은 GCD 매개변수 λ = gcd(K, D+1)에 의해 정의된 블록 구조에 따라, 각 수신기 인덱스 k에 따라 사례 분석을 통해 진행된다.
• 각 사례에 대해, 인덱스 코딩에 포함된 모든 간섭 메시지 기호가 측면 정보와 이전에 복호화된 기호를 이용해 상쇄됨을 확인함으로써, 목적 메시지 x_k가 유일하게 복호화될 수 있음을 보장한다.
• 복호화 과정은 AIR 행렬의 특정 위치에 해당하는 인덱스 코딩 기호의 합이 모든 간섭 기호를 상쇄시키며, 결과적으로 목적 메시지만 남는다는 성질에 기반한다.
• 이 구성은 임의의 유한체에서 유효하며, 총 인덱스 코딩 길이가 정확히 메시지당 K/(D+1) 기호임을 보여주어 최적성 증명이 된다.

실험 결과

연구 질문

• RQ1 유한한 K에 대해 목적 메시지 이전에 U = gcd(K, D+1) - 1개의 간섭 메시지가 존재할 때 SNI-SUICP의 정확한 용량은 무엇인가?
• RQ2 이러한 SNI-SUICP 클래스에 대해 이론적 용량 1/(D+1)을 달성할 수 있는 명시적이고 구성적인 선형 코딩 체계를 설계할 수 있는가?
• RQ3 AIR 행렬의 구조적 성질이 각 수신기에서 모든 간섭 기호를 상쇄시키는 데 어떻게 기여하는가?
• RQ4 제안된 구성이 임의의 유한체에서 작동하여 특정 대수적 제약 조건을 초월한 실용적 적용 가능성을 보장하는가?
• RQ5 U의 GCD 기반 매개변수화 방식은 SNI-SUICP의 간섭 패턴의 주기성과 대칭성과 어떻게 관련되어 있는가?

주요 결과

• 유한한 K, 목적 메시지 이후 D개의 간섭 메시지, 목적 메시지 이전에 U = gcd(K, D+1) - 1개의 간섭 메시지를 가진 SNI-SUICP의 용량은 메시지 기호당 정확히 1/(D+1)이다.
• 저자들은 임의의 유한체에서 최적의 용량을 달성하는 K×(D+1) 크기의 인접 행 독립(AIR) 행렬을 사용한 명시적 선형 인덱스 코딩을 구성한다.
• 각 수신기 R_k에서의 복호화 과정은 인덱스 코딩에 포함된 모든 간섭 기호가 측면 정보와 코딩 기호 합을 통해 상쇄됨을 보여줌으로써 실현 가능함을 증명한다.
• 증명은 GCD 매개변수 λ = gcd(K, D+1)에 의해 유도된 블록 구조에 따라 수신기 인덱스에 따라 네 가지의 다른 사례 분석을 통해 K개의 모든 수신기를 포함하는 포괄적인 분석을 수행한다.
• 이 구성은 최적이고 최소이며, 총 인덱스 코딩 길이가 정확히 K/(D+1) 기호로 이론적 하한선과 일치한다.
• 결과는 이전 연구를 일반화하고 통합한다: Maleki 등의 점점 커지는 용량 결과(용량 1/(D+1) as K→∞)와 Blasiak 등의 D=U=1에 대한 유한-K 결과를 포함한다.