2026
CLM-INFO-003206= R1 <= I(X;Y|U), R2 <= I(U;Z)EXACT VALUEThe cited theorem establishes R1 <= I(X;Y|U), R2 <= I(U;Z) under the current specification; this does not assert universal empirical attainability.Source: Random coding theorem for broadcast channels with degraded components — Physically degraded broadcast-channel capacity region ↗
PROVEN