양방향 상호작용을 활용한 분산 소스 코딩 및 함수 계산

본 논문은 두 터미널 A와 B가 각각 n개의 샘플 Xⁿ, Yⁿ을 보유한 상황에서, 교대로 전송되는 t개의 메시지를 이용해 양쪽에서 목표 함수 f_A(X,Y), f_B(X,Y)를 복원하는 인터랙티브 분산 소스 코딩 문제를 정의한다. 각 메시지는 이전 메시지와 해당 터미널의 원본 샘플에 의존할 수 있으며, 전체 코딩은 블록코딩 방식으로 무한히 큰 블록 길이 n→∞에 대해 오류 확률이 0으로 수렴하도록 설계된다. **1. 문제 정의 및 기존 연구와의 차별점** 전통적인 분산 소스 코딩(예: Slepian‑Wolf, Wyner‑Ziv)은 주로 원본 재생산을 목표로 하며, 인터랙션이 없거나 제한된 경우에만 분석이 이루어졌다. 반면, 본 연구는 (i) 함수 계산을 직접 목표로 설정하고, (ii) 메시지 수 t를 자유롭게 늘릴 수 있는 일반적인 인터랙션 모델을 채택한다. 기존 통신 복잡도 연구는 결정적 혹은 확률적 프로토콜에서 최악/평균 비트 수를 다루지만, 본 논문은 확률적 오류가 사라지는 전형적인 정보이론적 레이트‑디스토션 관점을 적용한다. **2. 레이트 영역의 단일 문자 표현** 핵심 정리 1에서는 임의의 t에 대해 레이트 영역 ℛ_t를 다음과 같이 기술한다. - 각 짝수(odd) 메시지 j에 대해 조건 엔트로피 H(M_j | Xⁿ, M^{j‑1}) 혹은 H(M_j | Yⁿ, M^{j‑1})가 해당 메시지의 레이트 R_j와 일치한다. - 전체 레이트 튜플 (R₁,…,R_t)가 만족해야 할 마코프 체인 제약은 U₁→U₂→…→U_t 형태이며, 여기서 U_j는 메시지 M_j의 압축된 표현이다. - 함수 복원을 보장하기 위한 추가 제약은 각 터미널에서의 디코더 g_A, g_B가 (Xⁿ, M^{t}) 혹은 (Yⁿ, M^{t})를 입력받아 목표 함수값을 정확히 재구성하도록 하는 조건부 엔트로피 0(즉, H(f_A|Xⁿ,M^{t})=0 등)이다. 이러한 제약을 단일 문자 형태로 정리함으로써, 레이트 영역을 계산 가능한 형태로 만든다. 또한, Corollary 1에서는 최소 합레이트 R_sum^*(t)=min_{(R₁,…,R_t)∈ℛ_t} ΣR_j를 구하는 식을 제시한다. **3. 레이트 영역의 구조적 특성** Proposition 1은 메시지 수가 증가함에 따라 ℛ_{t+1}⊇ℛ_t이며, 시작 터미널이 바뀔 경우에도 ℛ_t^{(A)}⊆ℛ_t^{(B)} 등 포함 관계가 성립함을 증명한다. 이는 인터랙션이 추가될수록 더 자유로운 마코프 체인과 조건 엔트로피 제약을 허용하게 됨을 의미한다. Lemma 1에서는 레이트 영역을 정의하는 마코프 체인과 조건 엔트로피 제약이 함수의 지원 집합(supp(p_XY))에 존재하는 ‘단색 사각형(monochromatic rectangle)’과 직접 연관됨을 보인다. 이는 통신 복잡도 문헌에서 함수의 라벨링을 통해 복잡도를 하한하는 기법과 동일한 기하학적 구조를 갖는다. **4. 인터랙션의 효용과 비효용 사례** - **비효용**: 손실 없는 소스 재생산(양쪽 혹은 한쪽)에서는 인터랙션이 최소 합레이트에 전혀 영향을 주지 않는다. 이는 Slepian‑Wolf 경계와 동일함을 보이며, Theorem 2,3에서 증명된다. - **비효용(특정 함수)**: DSBS(이중 대칭 바이너리 소스)와 같은 경우, 한쪽 터미널에서만 함수(f) 를 복원하도록 요구하면, 무한히 많은 메시지를 사용하더라도 인터랙션이 이득을 주지 않는다. - **효용**: 독립 베르누이 소스 X∼Bern(p), Y∼Bern(q)에서 부울 AND(∧) 함수를 양쪽 모두가 계산하도록 요구하면, 무한 메시지·무한소 레이트 전략을 통해 기존 1‑message 혹은 2‑message 전략보다 현저히 낮은 합레이트를 달성한다. 구체적으로, Section IV‑F에서는 두 차원 적분 형태의 폐쇄식과 레이트 할당 곡선을 제시한다. **5. 동시 인터랙션과 평균 왜곡** Proposition 2에서는 메시지를 동시에 교환하는 동시 인터랙션 모델을 고려하고, 이 경우 최소 합레이트가 교대로 전송하는 경우보다 절대적으로 더 작을 수 없음을 보인다(즉, 교대형이 최적). 또한, 평균 왜곡 기준(단일 문자 결합 왜곡 함수)과 블록 오류 확률 기준 사이의 관계를 분석하여, 두 기준이 동일한 레이트 영역을 공유함을 증명한다(Section III‑B). **6. 다중 터미널 일반화** Section V에서는 ‘정보 교환 프로토콜’이라는 프레임워크를 도입한다. 이 프로토콜은 라운드마다 서로 다른 분산 코딩 구성을 전환하며, 각 라운드에서의 레이트 영역은 두 터미널 결과를 그대로 적용한다. 이를 통해 K‑corner‑Martin 문제와 같은 기존 다중 터미널 문제에 대한 새로운 상한·하한을 도출한다. 특히 별형 토폴로지(센터 노드와 N개의 말단 노드)에서는 여러 라운드의 인터랙션을 허용함으로써 전체 네트워크 레이트가 O(N)에서 O(√N) 수준으로 감소한다(Example 3). 이는 네트워크가 커질수록 인터랙션을 통한 정보 흐름 최적화가 크게 효과적임을 의미한다. **7. 결론 및 향후 연구** 본 연구는 인터랙티브 분산 소스 코딩이 함수 계산 효율성에 미치는 영향을 정량적으로 규명하고, 레이트 영역을 단일 문자 형태로 완전하게 기술함으로써 기존의 손실 없는 복원 문제와 차별화된 설계 원칙을 제시한다. 특히 무한 메시지·무한소 레이트 전략, 다중 라운드 인터랙션을 통한 네트워크 스케일링 개선은 분산 학습, 협업 센싱, 엣지 컴퓨팅 등 실용적인 응용 분야에 큰 잠재력을 제공한다. 향후 연구에서는 연속 알파벳(아날로그) 소스, 비정적(시간변화) 채널, 그리고 실시간 지연 제약을 포함한 보다 복잡한 시스템에 대한 확장과, 실제 프로토콜 구현을 통한 실험적 검증이 필요하다.