[논문 리뷰] Sum-networks: system of polynomial equations, reversibility, insufficiency of linear network coding, unachievability of coding capacity

Brijesh Kumar, Bikash Kumar Dey|arXiv (Cornell University)|2009. 06. 03.

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

한 줄 요약

이 논문은 모든 터미널이 소스 심볼의 합을 요구하는 방향성 비순환 네트워크인 합-네트워크(수-네트워크)를 도입하고, 이들의 가용성 및 선형 가용성 측면에서 다중-유닉스트 네트워크와의 등가성을 입증한다. 유한체 F에서 스칼라 선형 가용성이 성립하는 것은 F 내에서 정수 계수 다항식의 연립방정식의 공통 근이 존재하는 것과 정확히 일치함을 보이며, 이는 선형 네트워크 코딩의 부족성과 합-네트워크에서 용량을 달성할 수 없음을 시사한다.

ABSTRACT

A directed acyclic network is considered where all the terminals demand the sum of the symbols generated at all the sources. We call such a network as a sum-network. It is shown that there exists a solvably (and linear solvably) equivalent sum-network for any multiple-unicast network (and more generally, for any acyclic directed network where each terminal node demands a subset of the symbols generated at all the sources). It is also shown that there exists a linear solvably equivalent multiple-un icast network for every sum-network. As a consequence, many known results for multiple-unicast networks also hold for sum-networks. Specifically, it is shown that for any set of polynomials having integer coefficients, there exist s a sum-network which is scalar linear solvable over a finite field F if and only if the polynomials have a common root in F . Similarly, the insufficiency of linear network coding and unachievability of the network coding capacity is proved for sum-networks. It is shown that there exists a solvable sum-network whose reverse network is not solvable. On the other hand, a sum-network and its reverse network are shown to be solvably equivalent under fractional vector linear network coding.

연구 동기 및 목표

• 모든 터미널이 소스 심볼의 합을 요구하는 합-네트워크를 정의하고 분석한다.
• 합-네트워크와 다중-유닉스트 네트워크 간의 가용성 및 선형 가용성 등가성을 수립한다.
• 유한체 F에서 합-네트워크의 스칼라 선형 가용성이 정수 계수 다항식의 연립방정식이 F 내에서 공통 근을 가지는 것과 정확히 동치임을 보여준다.
• 합-네트워크에서 선형 네트워크 코딩의 부족성과 네트워크 코딩 용량을 달성할 수 없음을 증명한다.
• 합-네트워크의 가역성과 분수형 벡터 선형 코딩 하에서의 가용성 여부를 조사한다.

제안 방법

• 네트워크 변환 기법을 사용하여 모든 다중-유닉스트 네트워크에 대해 가용성 및 선형 가용성과 동등한 합-네트워크를 구성한다.
• 합-네트워크의 스칼라 선형 가용성을 결정하는 정수 계수 다항식의 연립방정식을 정의한다.
• 대수기하학과 유한체 이론을 활용하여 다항식의 가용성과 네트워크의 가용성 간의 연결 고리를 설정한다.
• 합-네트워크가 가용할 경우 그 역방향 네트워크가 가용하지 않을 수 있음을 증명하여 가용성의 비대칭성을 보여준다.
• 분수형 벡터 선형 네트워크 코딩 하에서 합-네트워크와 그 역방향 네트워크가 가용성 측면에서 동등함을 보여준다.
• 설립된 등가성에 기반해 다중-유닉스트 네트워크의 기존 결과를 합-네트워크에 적용한다.

실험 결과

연구 질문

• RQ1 모든 다중-유닉스트 네트워크는 가용성 및 선형 가용성 측면에서 등가인 합-네트워크로 변환될 수 있는가?
• RQ2 유한체 F에서 합-네트워크의 스칼라 선형 가용성이 정수 계수 다항식의 연립방정식이 F 내에서 공통 근을 가지는 것과 동치인가?
• RQ3 선형 네트워크 코딩은 합-네트워크에서 용량을 달성하지 못하는가? 만약 그렇다면 그 이유는 무엇인가?
• RQ4 합-네트워크는 가용할 수 있지만 그 역방향 네트워크는 가용하지 않을 수 있는가?
• RQ5 어떤 조건에서 합-네트워크와 그 역방향 네트워크가 가용성 측면에서 동등한가?

주요 결과

• 임의의 정수 계수 다항식 집합에 대해, 이 다항식들이 유한체 F에서 공통 근을 가지는 것과 정확히 동치로, F에서 스칼라 선형 가용성이 가능한 합-네트워크가 존재한다.
• 가용하지만 그 역방향 네트워크가 가용하지 않은 합-네트워크가 존재함을 보여, 네트워크 가용성의 본질적 비대칭성을 입증한다.
• 합-네트워크에서 선형 네트워크 코딩의 부족성이 입증되었으며, 이는 선형 코딩이 항상 네트워크 용량을 달성할 수 없음을 의미한다.
• 합-네트워크에서 네트워크 코딩 용량을 달성할 수 없음을 입증하였으며, 이는 어떤 선형 코딩 체계로도 용량을 달성할 수 없음을 보여준다.
• 분수형 벡터 선형 네트워크 코딩 하에서 합-네트워크와 그 역방향 네트워크는 가용성 측면에서 동등하며, 스칼라 선형 코딩에서 관찰된 비대칭성을 해결한다.
• 설립된 등가성에 기반해 다중-유닉스트 네트워크의 기존 성질이 합-네트워크로 확장됨을 보였다.