[논문 리뷰] Algebraic Network Coding Approach to Deterministic Wireless Relay Networks

Minji Kim, Muriel Médard|arXiv (Cornell University)|2010. 01. 25.

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

한 줄 요약

이 논문은 결정론적 무선 릴레이 네트워크(ADT 네트워크)를 위한 대수적 네트워크 코딩 프레임워크를 수립하여, 최소 컷이 시스템 행렬 M(D)의 질량과 동일함을 보여주며, 모든 컷을 나열하지 않고도 효율적인 최소 컷 계산이 가능함을 밝혀냈다. 이는 단일 유니캐스트/멀티캐스트를 초월하여 다중 멀티캐스트, 분리된 멀티캐스트, 이중 수준 멀티캐스트를 포함한 일반적인 연결 유형으로 최소 컷 최대 흐름 정리의 확장을 이루었으며, 사이클과 무작위 지워짐이 있는 ADT 네트워크에서 무작위 선형 네트워크 코딩이 용량에 도달함을 증명하였다.

ABSTRACT

The deterministic wireless relay network model, introduced by Avestimehr et al., has been proposed for approximating Gaussian relay networks. This model, known as the ADT network model, takes into account the broadcast nature of wireless medium and interference. Avestimehr et al. showed that the Min-cut Max-flow theorem holds in the ADT network. In this paper, we show that the ADT network model can be described within the algebraic network coding framework introduced by Koetter and Medard. We prove that the ADT network problem can be captured by a single matrix, called the "system matrix". We show that the min-cut of an ADT network is the rank of the system matrix; thus, eliminating the need to optimize over exponential number of cuts between two nodes to compute the min-cut of an ADT network. We extend the capacity characterization for ADT networks to a more general set of connections. Our algebraic approach not only provides the Min-cut Max-flow theorem for a single unicast/multicast connection, but also extends to non-multicast connections such as multiple multicast, disjoint multicast, and two-level multicast. We also provide sufficiency conditions for achievability in ADT networks for any general connection set. In addition, we show that the random linear network coding, a randomized distributed algorithm for network code construction, achieves capacity for the connections listed above. Finally, we extend the ADT networks to those with random erasures and cycles (thus, allowing bi-directional links). Note that ADT network was proposed for approximating the wireless networks; however, ADT network is acyclic. Furthermore, ADT network does not model the stochastic nature of the wireless links. With our algebraic framework, we incorporate both cycles as well as random failures into ADT network model.

연구 동기 및 목표

• Koetter와 Médard의 대수적 네트워크 코딩 프레임워크와 ADT 네트워크 모델 간의 연결을 수립하기 위해.
• 시스템 행렬 M(D)를 사용하여 ADT 네트워크의 최소 컷을 대수적으로 정의함으로써, 지수적 복잡도의 컷 나열이 필요 없도록 하기 위해.
• 단일 유니캐스트/멀티캐스트를 초월하여 다중 멀티캐스트, 분리된 멀티캐스트, 이중 수준 멀티캐스트를 포함한 일반적인 연결 유형으로 최소 컷 최대 흐름 정리를 확장하기 위해.
• 사이클과 무작위 지워짐이 있는 ADT 네트워크에서 무작위 선형 네트워크 코딩이 용량에 도달함을 증명하기 위해.
• ADT 모델을 사이클과 무작위 실패를 포함하도록 일반화하면서도 대수적 구조와 용량 결과를 유지하기 위해.

제안 방법

• 유한체 위의 형식적 멱급수의 링에서 전달 함수를 사용하여 ADT 네트워크를 수식화하며, 지연은 변수 D로 표현한다.
• 시스템 행렬 M(D) = A(D)(I - DF)^{-1}B(D)^T를 정의하며, 여기서 A(D), F, B(D)는 각각 입력 인코딩, 간선 동역학, 출력 디코딩을 나타낸다.
• 임펄스 응답 (I - DF)^{-1} = I + DF + D^2F^2 + ... 를 사용하여 지연이 있는 경로를 모델링함으로써 네트워크 내의 사이클 처리를 가능하게 한다.
• 유리 함수의 체 F_q(D)에서 운영하여 유리 수 계수의 코딩을 허용함으로써 스칼라 체 연산을 일반화한다.
• 기존의 대수적 네트워크 코딩 이론에서 유도된 정리들을 활용하여 복잡한 연결 집합의 타당성 및 용량 조건을 유도한다.
• 간선 프로세스를 D 도메인 내의 확률적 과정으로 모델링하여 무작위 지워짐이 있는 네트워크로 결과를 확장함으로써 대수적 구조를 유지한다.

실험 결과

연구 질문

• RQ1 ADT 네트워크 모델이 대수적 네트워크 코딩 프레임워크 내에서 완전히 포괄될 수 있는가?
• RQ2 ADT 네트워크의 최소 컷이 단일 시스템 행렬 M(D)의 질량과 동일한가? 이는 효율적인 계산을 가능하게 하는가?
• RQ3 최소 컷 최대 흐름 정리는 다중 멀티캐스트, 분리된 멀티캐스트와 같은 멀티캐스트가 아닌 연결 유형으로 일반화될 수 있는가?
• RQ4 사이클과 무작위 지워짐이 있는 ADT 네트워크에서 무작위 선형 네트워크 코딩이 용량에 도달하는가?
• RQ5 ADT 모델은 사이클과 무작위 실패를 포함하도록 확장될 수 있으며, 대수적 구조와 용량 결과를 유지하는가?

주요 결과

• ADT 네트워크의 최소 컷은 시스템 행렬 M(D)의 질량과 동일하며, 이는 모든 가능한 컷을 나열하지 않고도 효율적인 계산이 가능함을 의미한다.
• 시스템 행렬 M(D) = A(D)(I - DF)^{-1}B(D)^T는 지연과 사이클이 있는 ADT 네트워크의 입력-출력 행동을 완전히 포괄한다.
• 대수적 타당성 조건을 통해 최소 컷 최대 흐름 정리는 다중 멀티캐스트, 분리된 멀티캐스트, 이중 수준 멀티캐스트를 포함한 일반적인 연결 집합으로 확장된다.
• 모든 연결 유형에 대해, 사이클과 무작위 지워짐이 있는 ADT 네트워크에서 무작위 선형 네트워크 코딩이 용량에 도달한다.
• 대수적 프레임워크는 무작위 지워짐과 사이클을 ADT 모델에 통합하면서도 선형 연산의 최적성을 유지한다.
• D에 대한 유리 함수의 사용은 지연과 순환 경로를 모델링할 수 있게 하며, 원래의 비순환 ADT 모델을 더 현실적인 네트워크 구조로 일반화한다.