단일 소스 네트워크 코딩 용량 영역 계산은 불가능에 가깝다

본 논문은 네트워크 코딩 분야에서 가장 근본적인 질문 중 하나인 “네트워크 용량 영역을 어떻게 계산할 것인가”에 대해 새로운 관점을 제시한다. 기존에는 단일 소스 멀티캐스트가 최대 흐름‑최소 컷 정리와 선형 코딩만으로 완전히 해결된다고 알려져 있었다. 반면 다중 소스·다중 싱크 상황에서는 용량 영역이 엔트로피 함수 집합 Γ*와 교차함으로써 비다각형이며, 실제 계산이 불가능에 가깝다는 것이 알려져 있다. 저자들은 이 복잡성이 단일 소스 네트워크에도 그대로 적용될 수 있음을 증명한다. 논문은 크게 두 부분으로 구성된다. 첫 번째 부분은 “계층적(증분) 멀티캐스트” 문제를 다룬다. 여기서는 두 개의 독립 소스 S₀, S₁이 존재하고, 수신자는 인덱스 순서에 따라 하위 메시지도 함께 받아야 한다는 계층적 요구가 있다. 저자들은 임의의 함수 h: 2ᴺ→ℝ⁺ (각 부분집합에 대한 엔트로피 값을 가정) 를 입력으로, 그래프 G†와 연결 요구 M†, 그리고 비율‑용량 튜플 T(h)를 설계한다. G†는 소스 노드, 여러 종류의 서브네트워크(유형 1, 2) 및 다수의 중간 노드로 구성되며, 각 서브네트워크는 h의 특정 부분값을 용량으로 갖는 에지들을 포함한다. 정리 1에서는 T(h)가 허용 가능(admissible)하려면 h가 quasi‑uniform 엔트로피 함수여야 함을 보인다. 이는 최소‑컷 경계와 서브네트워크별 정보 흐름 제약을 이용해, 각 변수 Uᵢ, Vᵢ의 엔트로피가 정확히 h(i)와 일치하고, 집합 V_α의 엔트로피가 h(α)와 일치하도록 강제한다. 특히 유형 2 서브네트워크에서의 복잡한 정보 불등식과 인덕션을 통해, 전체 변수 집합 V_N의 엔트로피 함수가 정확히 h와 동일함을 증명한다. 정리 2는 반대로, h가 quasi‑uniform이면 T(h)를 만족하는 네트워크 코드를 실제로 구성할 수 있음을 보여준다. 이를 통해 두 정리는 “허용 가능성 ↔ quasi‑uniform 엔트로피 함수”라는 정확한 동치 관계를 확립한다. 마지막으로 정리 3은 거의 엔트로피 함수(≈ Γ̄*)에 대한 확장으로, T(h)의 달성 가능성(achievability)이 h가 거의 엔트로피 함수인지와 동치임을 증명한다. 따라서 단일 소스 증분 멀티캐스트의 용량 영역은 비다각형인 Γ̄*와 동일한 구조를 가지며, 선형 코딩만으로는 일반적인 경우를 커버할 수 없다는 결론에 도달한다. 두 번째 부분은 “보안 멀티캐스트” 문제를 다룬다. 여기서는 단일 소스 X와 하나의 와이어탭퍼가 존재한다. 와이어탭퍼는 특정 링크 W₃만을 관찰하고, 그 외의 모든 정보는 비밀로 유지되어야 한다. 저자들은 네트워크 G?와 연결·보안 요구 M?를 정의하고, 각 링크에 용량 c와 d(전체 소스 레이트) 등을 할당한다. 주요 명제는 허용 가능한 T(h)라면 비밀키 K가 W₄의 함수가 되어야 함을 보이며, 이는 보안 제약이 네트워크 구조에 강력한 종속성을 부여함을 의미한다. 이 보안 네트워크는 기존의 다중 소스·다중 싱크 문제와 동등하게 변환될 수 있음을 보이며, 따라서 단일 소스 보안 멀티캐스트에서도 용량 영역을 정확히 구하려면 Γ*의 비다각형 구조를 피할 수 없다는 것을 보여준다. 전체적으로 논문은 두 가지 사례를 통해, 단일 소스 네트워크에서도 용량 영역 계산이 엔트로피 함수 집합 Γ*와 직접 연결되어 비다각형이며, 선형 네트워크 코드는 일반적으로 충분하지 않다는 강력한 메시지를 전달한다. 이는 네트워크 코딩 이론에서 “단일 소스 = 쉬운 문제”라는 기존 인식을 크게 뒤흔들며, 비샤논 정보 불등식, 비선형·확률적 코딩 기법, 그리고 보안 제약을 포함한 보다 일반적인 코딩 설계가 필요함을 강조한다.