Fractional Subadditivity of Submodular Functions: Equality Conditions and Their Applications

TL;DR

This paper characterizes when fractional subadditivity of submodular functions holds with equality or approximately, revealing implications for entropy, matroids, and matrix inequalities, and introduces a new multivariate mutual information.

Contribution

It provides necessary and sufficient conditions for equality in fractional subadditivity of submodular functions and applies these to various domains including entropy and matrix inequalities.

Findings

Equality in fractional subadditivity implies the function is modular.

Characterization of equality conditions in Shearer's lemma.

Introduction of a new multivariate mutual information generalizing existing measures.

Abstract

Submodular functions are known to satisfy various forms of fractional subadditivity. This work investigates the conditions for equality to hold exactly or approximately in the fractional subadditivity of submodular functions. We establish that a small gap in the inequality implies that the function is close to being modular, and that the gap is zero if and only if the function is modular. We then present natural implications of these results for special cases of submodular functions, such as entropy, relative entropy, and matroid rank. As a consequence, we characterize the necessary and sufficient conditions for equality to hold in Shearer's lemma, recovering a result of Ellis \emph{et al.} (2016) as a special case. We leverage our results to propose a new multivariate mutual information, which generalizes Watanabe's total correlation (1960), Han's dual total correlation (1978), and Csisz\'ar and Narayan's shared information (2004), and analyze its properties. Among these properties, we extend Watanabe's characterization of total correlation as the maximum correlation over partitions to fractional partitions. When applied to matrix determinantal inequalities for positive definite matrices, our results recover the equality conditions of the classical determinantal inequalities of Hadamard, Sz\'asz, and Fischer as special cases.