2026
CLM-INFO-003207= Cs = max_p(x) [I(X;Y) - I(X;Z)]EXACT VALUEThe cited theorem establishes Cs = max_p(x) [I(X;Y) - I(X;Z)] under the current specification; this does not assert universal empirical attainability.Source: The wire-tap channel — Degraded wiretap-channel secrecy capacity ↗
PROVEN