[논문 리뷰] A Transform Approach to Linear Network Coding for Acyclic Networks with Delay

Teja Damodaram Bavirisetti, G. Abhinav외 2명|ePrints-IISc. (Indian Institute of Science Bangalore)|2011. 03. 20.

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

한 줄 요약

이 논문은 유한체 이산 푸리에 변환(DFT)을 사용한 변환 기반 접근법을 제안하여 정수 지연 링크를 가진 비순환 네트워크를 등가의 n-순순시 네트워크로 변환함으로써 네트워크 정렬 기법의 적용을 가능하게 한다. 네트워크 코드 존재성이 변환 후에도 유지됨을 증명하고, 세 소스, 세 목적지 유니캐스트 네트워크에서 지연이 있는 경우, 영간섭 조건이 실패하더라도 시간 불변 또는 시간 변동형 국소 인코딩 커널(LEK)을 사용하여 최소 컷 속도의 1/2을 달성할 수 있음을 보여준다.

ABSTRACT

The algebraic formulation for linear network coding in acyclic networks with the links having integer delay is well known. Based on this formulation, for a given set of connections over an arbitrary acyclic network with integer delay assumed for the links, the output symbols at the sink nodes, at any given time instant, is a \mathbb{F}_{q}$-linear combination of the input symbols across different generations, where $\mathbb{F}_{q}$ denotes the field over which the network operates. We use finite-field discrete fourier transform (DFT) to convert the output symbols at the sink nodes, at any given time instant, into a $\mathbb{F}_{q}$-linear combination of the input symbols generated during the same generation. We call this as transforming the acyclic network with delay into {\em $n$-instantaneous networks} ($n$ is sufficiently large). We show that under certain conditions, there exists a network code satisfying sink demands in the usual (non-transform) approach if and only if there exists a network code satisfying sink demands in the transform approach. Furthermore, we show that the transform method (along with the use of alignment strategies) can be employed to achieve half the rate corresponding to the individual source-destination min-cut (which are assumed to be equal to 1) for some classes of three-source three-destination unicast network with delays, when the zero-interference conditions are not satisfied.

연구 동기 및 목표

• 영간섭 조건이 만족되지 않을 때 지연이 있는 비순환 네트워크에서 보장되는 최소 스루풋을 달성하는 데 도전하는 데 목적이 있다.
• 중간 노드에서 메모리가 필요 없도록 하기 위해 유한체 DFT를 통해 지연된 네트워크 동작을 순순시 동작으로 변환한다.
• 네트워크 정렬 기법을 지연이 있는 비순환 네트워크로 확장하여, 기존 방법이 실패하는 상황에서도 스루풋 보장을 가능하게 한다.
• 세 소스, 세 목적지 유니캐스트 네트워크에서 임의의 최소 컷 구성이 있는 경우, 개별 소스-목적지 최소 컷 속도의 반(1로 가정)을 달성할 수 있는 구성 가능한 프레임워크를 제공한다.

제안 방법

• 수신지에서 출력 기호를 동일한 세대의 입력 기호에 대한 Fq 선형 조합으로 변환하기 위해 유한체 이산 푸리에 변환(DFT)을 적용함으로써, 지연된 네트워크를 n-순순시 네트워크로 효과적으로 변환한다.
• 기존(비변환) 및 변환된(순순시) 도메인에서 네트워크 코드 존재성 간의 동치성을 보여주는 구성적 증명을 사용한다.
• 변환된 도메인에서 네트워크 정렬을 가능하게 하기 위해 시간 불변형 및 시간 변동형 국소 인코딩 커널(LEK)을 도입한다.
• 수신지에서 소스 기호를 정확히 복구하기 위해 채널 전달 함수와 예비처리 행렬(V1, V2, V3)을 포함하는 행렬의 질량 조건을 유도한다.
• 순순시 네트워크에서의 네트워크 정렬 원리를 변환된 지연 네트워크 모델에 적용하여 속도 보장을 달성한다.
• 소스-목적지 쌍(S_i-D_j, i≠j) 간의 다양한 최소 컷 구성(영 또는 비영 최소 컷 포함)을 고려하고, 기호 복구에 성공하기 위한 충분 조건을 도출한다.

실험 결과

연구 질문

• RQ1 정수 지연이 있는 비순환 네트워크의 컨volutional 행동을 유한체 DFT를 사용해 순순시 행동으로 변환할 수 있는가?
• RQ2 원래 지연 네트워크에서 네트워크 코드 존재성이 변환된 순순시 네트워크에서의 코드 존재성과 동치인가?
• RQ3 세 소스, 세 목적지 유니캐스트 네트워크에서 지연이 있는 경우, 변환된 도메인에서 네트워크 정렬이 최소 컷 속도의 1/2을 달성할 수 있는 조건은 무엇인가?
• RQ4 영간섭 조건이 위반되었을 때, 시간 불변형 및 시간 변동형 국소 인코딩 커널(LEK)이 변환된 도메인에서 효과적으로 스루풋 보장을 달성하는 데 사용될 수 있는가?
• RQ5 간섭을 일으키는 소스-목적지 쌍 간의 다양한 최소 컷 구성은 변환된 네트워크 모델에서 달성 가능한 스루풋에 어떤 영향을 미치는가?

주요 결과

• 변환 방법은 네트워크 코드 존재성을 유지한다: 원래 네트워크에서 코드가 존재하는 것은 변환된 순순시 네트워크에서 코드가 존재하는 것과 동치이다.
• 세 소스, 세 목적지 유니캐스트 네트워크에서 지연이 있는 경우, 변환된 시스템 행렬의 충분한 질량 조건을 만족할 경우, n → ∞ 일 때 모든 소스-목적지 쌍에서 스루풋 1/2이 점점 가까워진다.
• 카테고리 1(모든 크로스 최소 컷 ≥1)에서는 S1-D1, S2-D2, S3-D3에 대해 각각 (n+1)/(2n+1), n/(2n+1), n/(2n+1)의 스루풋이 달성되며, n → ∞ 일 때 1/2에 수렴한다.
• 카테고리 4(네 개의 크로스 최소 컷이 모두 0)에서는 S1-D1, S2-D2, S3-D3에 대해 각각 (n+1)/(2n+1), n/(2n+1), (2n+1)/(2n+1)의 스루풋이 달성되며, n → ∞ 일 때 S1-D1과 S2-D2는 1/2, S3-D3는 1에 도달한다.
• 카테고리 4에서는 합계 스루풋이 약 2에 가까워지며, 일반적인 지연 네트워크에서는 직관적으로 달성하기 어려운 결과이지만, 이는 변환과 정렬 프레임워크 덕분에 가능해졌다.
• 전달 행렬 M(D)에 유리 함수가 포함된 네트워크로의 확장도 분모를 정리함으로써 가능하며, 이는 비순환 및 순환 네트워크 모두에 적용 가능하다.