[논문 리뷰] Linear Network Coding, Linear Index Coding and Representable Discrete Polymatroids

Vijayvaradharaj T. Muralidharan, B. Sundar Rajan|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|2013. 06. 05.

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

한 줄 요약

이 논문은 선형 네트워크 코딩, 선형 색인 코딩, 그리고 유한체 𝔽_q에서 표현 가능한 이산 다형체의 이론을 연결하는 통합 프레임워크를 수립한다. 이는 선형 분수 네트워크 코딩 해법이 유한체 𝔽_q에서 존재할 조건이, 해당 네트워크가 𝔽_q에서 표현 가능한 이산 다형체에 대해 이산 다형체적임과 정확히 동치임을 증명함으로써 이루어진다. 또한, 이는 엘 루아이헤브 등이 이전에 확립한 결과를 일반화하여, 이산 다형체의 표현을 찾는 문제를 그로부터 파생된 완벽한 선형 색인 코딩 문제로 환원함을 보여준다.

ABSTRACT

Discrete polymatroids are the multi-set analogue of matroids. In this paper, we explore the connections among linear network coding, linear index coding and representable discrete polymatroids. We consider vector linear solutions of networks over a field $\mathbb{F}_q,$ with possibly different message and edge vector dimensions, which are referred to as linear fractional solutions. We define a extit{discrete polymatroidal} network and show that a linear fractional solution over a field $\mathbb{F}_q,$ exists for a network if and only if the network is discrete polymatroidal with respect to a discrete polymatroid representable over $\mathbb{F}_q.$ An algorithm to construct networks starting from certain class of discrete polymatroids is provided. Every representation over $\mathbb{F}_q$ for the discrete polymatroid, results in a linear fractional solution over $\mathbb{F}_q$ for the constructed network. Next, we consider the index coding problem and show that a linear solution to an index coding problem exists if and only if there exists a representable discrete polymatroid satisfying certain conditions which are determined by the index coding problem considered. El Rouayheb et. al. showed that the problem of finding a multi-linear representation for a matroid can be reduced to finding a extit{perfect linear index coding solution} for an index coding problem obtained from that matroid. We generalize the result of El Rouayheb et. al. by showing that the problem of finding a representation for a discrete polymatroid can be reduced to finding a perfect linear index coding solution for an index coding problem obtained from that discrete polymatroid.

연구 동기 및 목표

• 선형 분수 네트워크 코딩 해법과 유한체에서 표현 가능한 이산 다형체 사이의 공식적인 연결 고리를 수립하기 위해.
• 기존의 매트로이드 표현과 색인 코딩에 관한 결과를 이산 다형체 프레임워크로 확장함으로써 일반화하기 위해.
• 선형 분수 해법을 갖는 네트워크를 표현 가능한 이산 다형체에서 체계적으로 생성하는 구축 방법을 제공하기 위해.
• 색인 코딩 문제에 대한 선형 해법의 존재성이 특정 랭크 함수 조건을 만족하는 표현 가능한 이산 다형체의 존재성과 동치임을 보여주기 위해.
• 공통의 대수적 및 조합 구조를 통해 네트워크 코딩, 색인 코딩, 그리고 이산 다형체 표현 가능성의 이론적 기초를 통합하기 위해.

제안 방법

• 𝔽_q에서 표현 가능한 이산 다형체의 랭크 함수와 네트워크의 라우팅 및 코딩 제약 조건이 일치하는 네트워크를 이산 다형체적 네트워크로 정의하기 위해.
• 주어진 표현 가능한 이산 다형체에서 네트워크를 생성하는 구축 절차를 제안하여, 이 다형체의 𝔽_q에서의 각 표현이 생성된 네트워크에 대해 선형 분수 해법을 유도함을 보장하기 위해.
• 색인 코딩 문제를 이산 다형체 표현 문제로 재구성하여, 특정 이산 다형체가 𝔽_q에서 표현 가능할 때에만 완벽한 선형 색인 코딩이 존재함을 보여주기 위해.
• 이산 다형체의 랭크 함수 공리(R1–R3)를 활용하여 선형 분수 해법의 존재에 필요한 필수 및 충분 조건을 유도하기 위해.
• 구조적 및 대수적 변환의 연속을 통해 선형 분수 해법의 존재성과 관련된 이산 다형체의 표현 가능성 사이의 동치성을 증명하기 위해.
• 기존의 매트로이드 다중선형 표현에서 색인 코딩으로의 환원을 이산 다형체로 일반화함으로써, 엘 루아이헤브 등이 이전에 제시한 결과의 범위를 넓히기 위해.

실험 결과

연구 질문

• RQ1 선형 분수 네트워크 코딩 해법이 유한체 𝔽_q에서 존재할 조건은 무엇인가?
• RQ2 이산 다형체는 메시지 및 엣지 벡터 차원이 다를 때 네트워크 코딩 문제의 가용성 특성을 어떻게 특징지울 수 있는가?
• RQ3 완벽한 선형 색인 코딩의 존재성과 이산 다형체의 표현 가능성 사이의 정확한 관계는 무엇인가?
• RQ4 이산 다형체에서 네트워크를 체계적으로 형식화하여 선형 분수 해법 가능성을 보장할 수 있는가?
• RQ5 이산 다형체의 프레임워크는 기존에 알려진 매트로이드, 네트워크 코딩, 색인 코딩 간의 연결 고리를 어느 정도 일반화하는가?

주요 결과

• 선형 분수 해법이 𝔽_q에서 존재하는 것은, 네트워크가 𝔽_q에서 표현 가능한 이산 다형체에 대해 이산 다형체적일 때에만 성립한다.
• 표현 가능한 이산 다형체에서 네트워크를 생성하는 알고리즘이 제시되며, 이 다형체의 𝔽_q에서의 각 표현이 생성된 네트워크에 대해 선형 분수 해법을 유도한다.
• 색인 코딩 문제에 대한 선형 해법의 존재성은 수신자가 제공하는 사이드 인포메이션과 요구사항에서 유도된 랭크 함수 조건을 만족하는 표현 가능한 이산 다형체의 존재성과 동치이다.
• 이산 다형체의 표현을 찾는 문제는 그로부터 유도된 색인 코딩 문제에 대한 완벽한 선형 색인 코딩 해법을 찾는 문제로 환원 가능하다.
• 정리 1과 정리 7, 그리고 정리 3과 정리 8 사이의 동치성은 이산 다형체의 랭크 함수 조작과 구조적 분해를 통해 공식적으로 증명되었다.
• 논문은 엘 루아이헤브 등이 이전에 제시한 매트로이드 다중선형 표현에서 색인 코딩으로의 환원 결과를 이산 다형체 표현으로 일반화함으로써, 색인 코딩과 표현 가능성 간의 연결 고리의 범위를 확장하였다.