Submodular Functions and Rooted Trees

Yaokun Wu,Yinfeng Zhu
DOI: https://doi.org/10.1007/s00224-022-10092-x
IF: 0.616
2022-01-01
Theory of Computing Systems
Abstract:For any positive number k and for any hypergraph H with vertex set V( H ) and edge set E(H)⊆ 2^V(H) , we call U⊆V(H) a k -antimatching of H if for every matching F⊆E(H) it holds rank A [ U , F ] ≤ k , where A is the V( H ) ×E( H ) (0,1) matrix whose ( v , e )-entry is 1 if and only if v ∈ e . Consider a finite poset P with a unique maximal element and having a rooted tree as its Hasse diagram. Let H be the hypergraph with V( H ) = P and with E( H ) being the set of all down-sets of P . Let μ be a submodular function defined on 2 V( H ) such that μ (V( H )) ≥ d + ( ℓ − 1) c for a positive integer ℓ and two nonnegative reals d and c . For any nonnegative reals d 1 ,…, d ℓ with ∑_i=1^ℓ d_i=d , we show that either there is a matching D 1 ,…, D ℓ of H with μ ( D i ) ≥ d i for all i , or there is a 1-antimatching C of H such that μ ( C ) ≥ c . We establish a countable version of this result by assuming further that μ satisfies the weak Fatou property and reverse Fatou property. We propose a conjecture on a possible extension of our result from 1-antimatching to general k -antimatchings.
What problem does this paper attempt to address?