[论文解读] Many-Help-One Problem for Gaussian Sources with a Tree Structure on their Correlation

Yasutada Oohama|arXiv (Cornell University)|Jan 14, 2009

Wireless Communication Security Techniques参考文献 12被引用 4

一句话总结

本文通过引入树状相关性模型（TS 条件）扩展了高斯源的多助一问题，该模型推广了条件独立性（CI）条件。本文推导了率失真区域的显式外边界，并建立了该边界为紧致的充分条件，证明在 TS 条件下，高斯源的和速率部分区域是可实现的，且为特定情况提供了递归公式。

ABSTRACT

In this paper we consider the separate coding problem for $L+1$ correlated Gaussian memoryless sources. We deal with the case where $L$ separately encoded data of sources work as side information at the decoder for the reconstruction of the remaining source. The determination problem of the rate distortion region for this system is the so called many-help-one problem and has been known as a highly challenging problem. The author determined the rate distortion region in the case where the $L$ sources working as partial side information are conditionally independent if the remaining source we wish to reconstruct is given. This condition on the correlation is called the CI condition. In this paper we extend the author's previous result to the case where $L+1$ sources satisfy a kind of tree structure on their correlation. We call this tree structure of information sources the TS condition, which contains the CI condition as a special case. In this paper we derive an explicit outer bound of the rate distortion region when information sources satisfy the TS condition. We further derive an explicit sufficient condtion for this outer bound to be tight. In particular, we determine the sum rate part of the rate distortion region for the case where information sources satisfy the TS condition. For some class of Gaussian sources with the TS condition we derive an explicit recursive formula of this sum rate part.

研究动机与目标

• 将高斯源的多助一问题从条件独立性（CI）条件推广至更广泛的树状相关性模型（TS 条件）。
• 在 TS 条件下，推导率失真区域的显式外边界。
• 识别出该外边界为紧致的充分条件，从而刻画和速率部分区域。
• 为满足 TS 条件的特定类高斯源，提供和速率的递归公式。

提出的方法

• 作者采用树状结构（TS 条件）对 L+1 个高斯源之间的相关性进行建模，该模型推广了 CI 条件。
• 通过变分分析和涉及失真参数与辅助变量的微分方程，推导出率失真区域的显式外边界。
• 通过分析外边界与可实现区域之间的匹配条件，提出强于先前工作的充分条件，以确保边界紧致。
• 该方法将问题转化为涉及函数 θ_l(ω) 和 τ_l 的微分不等式组，从而在速率区域中形成递归结构。
• 分析利用涉及相关系数 ε_l 和方差 σ_l² 的项的递归乘积，以刻画和速率。
• 关键步骤是证明 θ_l(ω) 的导数之差满足类似凸性的不等式，从而导出和速率的下界。

实验结果

研究问题

• RQ1 对于具有树状相关性模型（TS 条件）的高斯源，多助一问题的率失真区域是否可以被刻画？
• RQ2 在何种条件下，所推导的率失真区域外边界为紧致？
• RQ3 在 TS 条件下，率失真区域的和速率部分是否可实现？
• RQ4 能否为满足 TS 条件的特定类高斯源推导出和速率的递归公式？

主要发现

• 本文推导出具有树状相关性（TS 条件）的 L+1 个高斯源的率失真区域的显式外边界，推广了 CI 条件。
• 建立了该外边界的紧致性充分条件，表明该边界刻画了真实的率失真区域。
• 证明在 TS 条件下，率失真区域的和速率部分为紧致，即外边界是可实现的。
• 对于满足 TS 条件的特定类高斯源，推导出最小和速率的递归公式。
• 分析表明，失真函数的导数满足微分不等式，从而支持和速率的递归计算。
• 结果证实，Oohama [10] 推导的外边界在和速率上是紧致的，解决了先前分析中的缺口。