[论文解读] Exact Redundancy for Symmetric Rate-Distortion

Sharang M. Sriramu, Aaron B. Wagner|arXiv (Cornell University)|Jan 17, 2026

Wireless Communication Security Techniques被引用 0

一句话总结

这篇论文确定对称速率失真在 d-semifaithful 与平均失真约束下的严格冗余，展示对数(n)/n 冗余中的紧界系数为 1/2，并给出紧致的可实现性与对偶界结果。

ABSTRACT

For variable-length coding with an almost-sure distortion constraint, Zhang et al. show that for discrete sources the redundancy is upper bounded by $\log n/n$ and lower bounded (in most cases) by $\log n/(2n)$, ignoring lower order terms. For a uniform source with a distortion measure satisfying certain symmetry conditions, we show that $\log n/(2n)$ is achievable and that this cannot be improved even if one relaxes the distortion constraint to be in expectation rather than with probability one.

研究动机与目标

• 使对称离散源在失真约束下的可变长度编码的冗余性具备动机与分析。
• 表征对称源–失真对的运营速率与速率失真函数之间的冗余差距。
• 建立可实现性方案与对偶结果，显示 log(n)/n 冗余尺度的紧性。

提出的方法

• 使用基于随机编码的可实现性，将 due to 对称性对编码器索引分布的解耦，使其通过熵编码将索引传递。
• 对 distortion-ball 通道 W_{Y^n|X^n} 建模，使其从失真球中均匀采样，并对均匀提案进行拒绝采样。
• 证明在对称性下失真球概率与中心无关，从而得到紧的 M_RD 边界并将冗余降至 (log n)/(2n)。
• 采用信道仿真视角与基于大偏差的对偶证明，使用失真球代替原像集，并利用速率失真函数的曲率。

实验结果

研究问题

• RQ1 在 d-semifaithful 编码和平均失真约束下，对称源–失真对的确切冗余（相对于速率失真函数的差距）是多少？
• RQ2 已知的 Zhang 等下界 log n/n 的冗余在对称源是否可以收紧，1/2 因子是否是紧界？
• RQ3 对称性如何影响失真球中心的分布以及使用可变长度编码时产生的冗余？
• RQ4 将 d-semifaithful 约束替换为期望失真约束时，冗余界是否对对称源具有鲁棒性？
• RQ5 建立冗余下界的速率失真曲线的哪些部分（曲率）是必需的？

主要发现

• 对于 0 < D < D* 的对称源–失真对，d-semifaithful 与平均失真冗余满足极限关系：lim_{n→∞} (R̄_n(D) − R_I(D)) / (log n / n) = 1/2 且 lim_{n→∞} (R_n(D) − R_I(D)) / (log n / n) = 1/2。
• 一种可实现性方案通过将索引分布与源解耦并用与其已知分布相匹配的熵编码传递来实现 (log n)/(2n) 的冗余。
• 对偶推广到平均失真约束，给出通过信道仿真/集中性证明的结果，表明对对称对一般情况下无法改进 (log n)/n 的冗余。
• 对称性假设导致失真球概率对中心不变，使得可以进行紧的“大偏差”分析和基于曲率的下界。
• 对称对的速率失真函数在 0 < D < D* 时具有曲率，这对建立下界至关重要。
• 完整版含完整证明在 arXiv 上可获取，见文献引用。