두 방향 소스 코딩과 헬퍼의 역할

본 논문은 두 사용자가 서로 정보를 교환하면서 동시에 압축·복원을 수행하는 두 방향 레이트‑디스토션 문제에, 제한된 전송률을 가진 공통 헬퍼가 추가된 상황을 연구한다. 시스템 모델은 그림 1에 제시된 바와 같이, 헬퍼 Y 가 먼저 공통 메시지를 전송하고, 이후 사용자 Z 가 X 에게, 마지막으로 X 가 Z 에게 각각 메시지를 보내는 3단계 프로토콜로 구성된다. 모든 소스와 사이드 정보는 i.i.d.이며 마코프 체인 Y‑X‑Z 를 만족한다. 논문은 먼저 마코프 관계를 검증하기 위한 새로운 무향 그래프 기법을 제시한다. 변수들을 정점으로 두고, 공동 분포를 구성하는 함수들의 인덱스 집합을 간선으로 연결한다. 특정 세 집합 G₁, G₂, G₃ 에 대해 모든 G₁ → G₃ 경로가 G₂ 를 통과하면 G₁‑G₂‑G₃ 마코프 체인이 성립한다는 충분조건을 증명한다. 이 도구는 이후 증명 전반에 걸쳐 복잡한 마코프 구조를 간단히 확인하는 데 활용된다. 핵심 결과는 정리 1으로, 전체 레이트‑디스토션 영역 R(Dₓ,D_z) 을 단일 문자 형태로 정의한다. 여기서 보조 확률 변수 U, V, W 를 도입해 전체 분포를 p(x,y) p(z|x) p(u|y) p(v|u,z) p(w|u,v,x) 로 표현하고, 다음 세 가지 레이트 제약을 얻는다. 1. R₁ ≥ I(Y;U|Z)  (헬퍼가 전송하는 공통 메시지) 2. R₂ ≥ I(Z;V|U,X)  (사용자 Z 가 X 에게 보내는 메시지) 3. R₃ ≥ I(X;W|U,V,Z)  (사용자 X 가 Z 에게 보내는 메시지) 복원 함수는 \hat Z = f₁(U,V,X) 와 \hat X = f₂(U,W,Z) 로 정의되며, 각각 평균 왜곡 E