Proof of a Conjectured 0-Rényi Entropy Inequality With Applications to Multipartite Entanglement.
Zhiwei SongLin ChenYize SunMengyao HuPublished in: IEEE Trans. Inf. Theory (2023)
Keyphrases
- shannon entropy
- information theory
- information theoretic
- theorem proving
- theorem prover
- fuzzy entropy
- mutual information
- neural network
- similarity measure
- information content
- complete axiomatization
- cumulative residual entropy
- geometry theorem proving
- mathematical proofs
- relative entropy
- decision trees
- learning algorithm