charlie_privacy_V2_alt

Charlie cannot learn V2 - complete privacy. Alternative formulation: H(V2 | CharlieView) = H(V2) This directly expresses that conditioning on CharlieView reveals nothing about V2, i.e., observing Charlie's view does not reduce uncertainty about Bob's private input V2. Mathematical reasoning: - CharlieView _|_ V2 (independence hypothesis) - By definition of independence: observing CharlieView gives no information about V2 - Therefore: H(V2 | CharlieView) = H(V2) This is more fundamental than stating H(V2|CharlieView) = log(m), as it captures the independence relationship directly.