Flat public-symbol marginal
Read as: Given challenge C, each public bearing symbol is equally likely.
Arguments
Operators
- P
- : probability of the observable bearing
- \mid
- : conditioned on the challenge
- 1/|B|
- : uniform probability across the bearing set
Significance: This is the local P2 condition: counting bearings should not reveal a preferred secret direction.
Computational contrast: A computational channel can leak biased residue and rely on key-recovery cost; a flat channel first removes the frequency compass.
References:Synonym-channel uniformity
