Subadditivity of mutual information for spin synchronization models
Mutual-information subadditivity conjecture. The inequality
MathDB