[논문 리뷰] On Multi-source Networks: Enumeration, Rate Region Computation, and Hierarchy

Congduan Li, Steven Weber외 1명|arXiv (Cornell University)|2015. 07. 21.

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

한 줄 요약

이 논문은 네트워크 코딩 하에서 최소이며 정규화된 다중 소스 다중 싱크 초모서리 네트워크를 체계적으로 열거하는 프레임워크를 제안하며, 이는 744,000개 이상의 고유한 네트워크에 대한 정확한 속도 영역을 효율적으로 계산할 수 있도록 한다. 군 작용을 통한 네트워크 동치성과 임bedding 및 조합 연산자 개발을 통해, 더 작은 네트워크로부터 더 큰 네트워크의 속도 영역을 유도함으로써 선형 코드의 충분성을 결정하는 금지된 마이너를 규명하고, 직접 계산보다 훨씬 넓은 범위의 해결 가능 사례를 확장한다.

ABSTRACT

This paper investigates the enumeration, rate region computation, and hierarchy of general multi-source multi-sink hyperedge networks under network coding, which includes multiple network models, such as independent distributed storage systems and index coding problems, as special cases. A notion of minimal networks and a notion of network equivalence under group action are defined. An efficient algorithm capable of directly listing single minimal canonical representatives from each network equivalence class is presented and utilized to list all minimal canonical networks with up to 5 sources and hyperedges. Computational tools are then applied to obtain the rate regions of all of these canonical networks, providing exact expressions for 744,119 newly solved network coding rate regions corresponding to more than 2 trillion isomorphic network coding problems. In order to better understand and analyze the huge repository of rate regions through hierarchy, several embedding and combination operations are defined so that the rate region of the network after operation can be derived from the rate regions of networks involved in the operation. The embedding operations enable the definition and determination of a list of forbidden network minors for the sufficiency of classes of linear codes. The combination operations enable the rate regions of some larger networks to be obtained as the combination of the rate regions of smaller networks. The integration of both the combinations and embedding operators is then shown to enable the calculation of rate regions for many networks not reachable via combination operations alone.

연구 동기 및 목표

• 네트워크 코딩 하에서 동형 중복을 피하기 위해 정규 표현을 통해 다중 소스 다중 싱크 초모서리 네트워크에 대한 종합적인 열거 프레임워크를 개발하는 것.
• 최소 정규 네트워크의 큰 범주에 대해 정확한 속도 영역을 계산하여 네트워크 코딩 이론의 기초 자료를 제공하는 것.
• 구성 요소 네트워크의 속도 영역 성질을 유지하거나 유도하는 임bedding 및 조합 연산을 통해 네트워크의 계층을 수립하는 것.
• 선형 네트워크 코딩에서 비스칼라 또는 비이진 코드가 반드시 필요로 하는 네트워크의 조건을 금지된 마이너를 통해 규명하는 것.
• 이미 계산된 작은 네트워크의 결과를 조합하여 큰 네트워크의 속도 영역을 스케일러블하게 계산할 수 있도록 하는 것.

제안 방법

• 과잉 소스, 노드, 간선를 제거하여 구조적 중복이 없는 최소 네트워크를 정의한다.
• 군 작용을 통한 간선 레이블 순열에 의한 네트워크 동치성 도입으로, 동형성 탐지 및 정규 대표 선택이 가능해진다.
• 비동형이며 최소 정규 네트워크를 5개의 소스와 초모서리까지 효율적으로 열거하기 위해 Leiterspiel 알고리즘을 적용한다.
• 계산 도구를 사용하여 744,119개의 정규 네트워크에 대해 정확한 속도 영역을 유도하며, 나머지 경우는 외부 경계와 내부 경계를 적용한다.
• 작은 네트워크를 더 큰 네트워크에 임bedding할 수 있는 연산자를 정의하여, 선형 코드의 충분성을 위한 금지된 마이너를 규명한다.
• 구성 네트워크의 속도 영역에서 복합 네트워크의 속도 영역을 도출할 수 있는 조합 연산자를 정의한다.

실험 결과

연구 질문

• RQ1 동형 중복을 피하면서도 모든 구조적으로 다른 다중 소스 다중 싱크 초모서리 네트워크를 어떻게 체계적으로 열거할 수 있는가?
• RQ2 주어진 최소 정규 네트워크의 정확한 속도 영역는 무엇이며, 엔트로피 벡터에 대한 다면체 경계를 사용하여 이를 효율적으로 계산할 수 있는가?
• RQ3 어떤 네트워크 구조에서는 비스칼라 또는 비이진 코드가 반드시 필요하며, 이러한 경우를 임bedding 연산 하에서 금지된 마이너를 통해 특성화할 수 있는가?
• RQ4 조합 및 임bedding 연산을 통해 이전에 계산된 작은 네트워크의 속도 영역에서 큰 네트워크의 속도 영역를 얼마나 잘 도출할 수 있는가?
• RQ5 임bedding 및 조합 연산자가 함께 작용할 때, 조합 연산자만 사용하는 것보다 얼마나 더 많은 네트워크를 해소할 수 있는가?

주요 결과

• 저자들은 744,119개의 최소 정규 네트워크를 성공적으로 열거하고 정확한 속도 영역을 계산하였으며, 이는 2조 개 이상의 동형 네트워크 코딩 문제에 해당한다.
• 임bedding 연산을 사용한 결과, 스칼라 이진 코드가 부족한 네트워크는 그 자체로 스칼라 이진 코드가 부족한 더 작은 마이너를 포함하는 경우에만 해당됨을 규명하였다.
• 조합 연산자만으로는 가능한 (2,2)-차원 네트워크의 3개에만 도달할 수 있었지만, 임bedding 및 조합 연산자를 통합함으로써 최소 12개의 네트워크로 도달 범위가 확장되었다.
• 네트워크 크기의 상한이 증가할수록 도달 가능한 네트워크의 수가 급격히 증가하여, 병합된 연산자 프레임워크의 스케일러비리티를 입증하였다.
• 표준 계산으로 직접 해결할 수 없는 많은 네트워크에 대해서도 속도 영역를 도출할 수 있도록 하여, 계산 가능한 네트워크 코딩 문제의 범위를 크게 확장하였다.
• 임bedding 및 조합을 통해 네트워크의 완전한 계층을 수립함으로써, 더 단순한 구성 요소에서 복잡한 네트워크의 속도 영역를 체계적으로 구축할 수 있게 되었다.