Documentation

LeanPool.ChannelCapacity

Uniqueness of Shannon Capacity-Achieving Priors #

Source: doi:10.1002/047174882X Authors: Adam Benenson Status: verified Main declarations: ChannelCapacity.exists_unique_capacity_achieving_prior_of_finite Tags: information-theory, channel-capacity, mutual-information, kullback-leibler, markov-kernel MSC: 94A17, 94A15, 60A10